Formal Techniques for Networked and Distributed Systems - FORTE 2005
From MaRDI portal
Publication:5479165
DOI10.1007/11562436zbMath1169.68538OpenAlexW2915402656MaRDI QIDQ5479165
Alberto Ciaffaglione, Julian Rathke, Matthew C. B. Hennessy
Publication date: 7 July 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562436
Related Items (2)
A theory for observational fault tolerance ⋮ Using bisimulation proof techniques for the analysis of distributed abstract machines
This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005