A congruence relation for sPBC
From MaRDI portal
Publication:2481583
DOI10.1007/s10703-007-0045-2zbMath1138.68040MaRDI QIDQ2481583
Fernando Cuartero, David de Frutos, Hermenegilda Macia, Valentin Valero
Publication date: 11 April 2008
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-007-0045-2
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Discrete time stochastic and deterministic Petri box calculus dtsdPBC, Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Bisimulation through probabilistic testing
- Petri net algebra
- A Compositional Approach to Performance Modelling
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Process algebra for performance evaluation