A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
Publication:2937731
DOI10.1007/978-3-662-45489-3_3zbMath1426.68188OpenAlexW2146869123MaRDI QIDQ2937731
Pedro Sánchez Terraf, Nicolás Wolovick, Carlos E. Budde, Pedro R. D'Argenio
Publication date: 12 January 2015
Published in: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11086/19117
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logical duality for underspecified probabilistic systems
- Unprovability of the logical characterization of bisimulation
- Metrics for labelled Markov processes
- Kleisli morphisms and randomized congruences for the Giry monad
- Bisimulation through probabilistic testing
- Approximating labelled Markov processes
- A compositional modelling and analysis framework for stochastic hybrid systems
- Bisimulation and cocongruence for probabilistic systems
- Bisimulation for labelled Markov processes
- Approximating Labelled Markov Processes Again!
- Measurability and safety verification for stochastic hybrid systems
- Abstract Probabilistic Automata
- Bisimulations for non-deterministic labelled Markov processes
- Algebraic laws for nondeterminism and concurrency
- Abstraction, Refinement and Proof for Probabilistic Systems
- Stochastic Relations
- Validation of Stochastic Systems
- Bisimilarity is not Borel
- Algebra and Coalgebra in Computer Science
- Foundations of Software Science and Computational Structures
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
This page was built for publication: A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
