Quantitative Modal Transition Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-37635-1_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Parametric and Quantitative Extensions of Modal Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Exploring Inconsistencies Between Modal Transition Systems

Software and Systems Modeling
ModelingSoftwareSimulation
2010English

Enforcing Opacity of Regular Predicates on Modal Transition Systems

Discrete Event Dynamic Systems: Theory and Applications
ControlElectronic EngineeringSystems EngineeringSimulationElectricalModeling
2014English

Generalized Quantitative Analysis of Metric Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Quantitative Program Reasoning With Graded Modal Types

Proceedings of the ACM on Programming Languages
2019English

Sequent Systems for Modal Logics

2002English

Medieval Modal Systems: Problems and Concepts

Ars Disputandi
2004English

Comparing Transition Systems With Independence and Asynchronous Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Conceptual Transition Systems

System Informatics
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy