A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems
Article in Formal Aspects of Computing (September 2024)
The most recent citing publications are shown below. View all 305 publications that cite this research output on Dimensions.
Article in Formal Aspects of Computing (September 2024)
Book chapter in Lecture Notes in Computer Science (September 2024)
Article in Journal of Infrastructure Intelligence and Resilience (September 2024)