Convergence Verification: From Shared Memory to Partially Synchronous Systems

DOI10.1007/978-3-540-85778-5_16zbMath1171.68547OpenAlexW1554918416MaRDI QIDQ3543300

K. Mani Chandy, Concetta Pilotto, Sayan Mitra

Publication date: 2 December 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85778-5_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

On Convergence of Concurrent Systems under Regular Interactions

Uses Software

• PVS

This page was built for publication: Convergence Verification: From Shared Memory to Partially Synchronous Systems