scientific article; zbMATH DE number 7441257
From MaRDI portal
Publication:5014799
zbMath1483.68228arXiv1709.00827MaRDI QIDQ5014799
Rance Cleaveland, Steve Marcus, James Ferlez
Publication date: 8 December 2021
Full work available at URL: https://arxiv.org/abs/1709.00827
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
- Bisimulation for labelled Markov processes
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
- Stochastic non-determinism and effectivity functions
- Bisimulations for non-deterministic labelled Markov processes
- On Simulations and Bisimulations of General Flow Systems
- Algebraic laws for nondeterminism and concurrency
- Set Theory
- Bisimilarity is not Borel
- The Behavioral Approach to Open and Interconnected Systems
- Generalized Synchronization Trees
- Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
This page was built for publication:
