A congruence relation for sPBC

DOI10.1007/s10703-007-0045-2zbMath1138.68040OpenAlexW2141221549MaRDI 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

zbMATH Keywords

Petri box calculusOperational semanticsStochastic process algebrasStochastic Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Performance evaluation in stochastic process algebra dtsdPBC

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