Formal Techniques for Networked and Distributed Systems – FORTE 2004

DOI10.1007/b100576zbMath1110.68420OpenAlexW2244752996MaRDI QIDQ5464476

Diego Cazorla, Fernando Cuartero, Valentin Valero, Hermenegilda Macia

Publication date: 18 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100576

zbMATH Keywords

performance evaluationstochastic process algebrapetri box calculusstochastic petri nets

Mathematics Subject Classification ID

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

Related Items

Performance analysis of concurrent systems in algebra dtsiPBC, Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC, Discrete time stochastic and deterministic Petri box calculus dtsdPBC, A congruence relation for sPBC, Performance evaluation in stochastic process algebra dtsdPBC