Formal Techniques for Networked and Distributed Systems – FORTE 2004
From MaRDI portal
Publication:5464476
DOI10.1007/b100576zbMath1110.68420MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Performance analysis of concurrent systems in algebra dtsiPBC, Discrete time stochastic and deterministic Petri box calculus dtsdPBC, A congruence relation for sPBC, Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC