Liveness-preserving simulation relations
From MaRDI portal
Publication:2942754
DOI10.1145/301308.301328zbMath1321.68353OpenAlexW2053388055MaRDI QIDQ2942754
Publication date: 11 September 2015
Published in: Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/301308.301328
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (4)
Dynamic input/output automata: a formal and compositional model for dynamic systems ⋮ Universal extensions to simulate specifications ⋮ Simulation refinement for concurrency verification ⋮ Specification and verification of concurrent programs through refinements
This page was built for publication: Liveness-preserving simulation relations
