Formal Techniques for Networked and Distributed Systems – FORTE 2004
From MaRDI portal
Publication:5464476
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
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
This page was built for publication: Formal Techniques for Networked and Distributed Systems – FORTE 2004