Analyzing Synchronous Distributed Algorithms (original) (raw)
Related papers
Keishi Okamoto, Tatsuhiro Tsuchiya
… Software Technologies for …, 2009
Synchronizability for verification of asynchronously communicating systems
2012
Distributed automata in an assumption-commitment framework
Sadhana, 2002
Sensors, 2022
Formal Specification and Verification of Distributed Systems
IEEE Transactions on Software Engineering, 1983
Theoretical issues in the design and verification of distributed systems
1983
Specification of Synchronizing Processes
IEEE Transactions on Software Engineering, 2000
Distributed Runtime Verification Under Partial Synchrony
2021
Specification and automated verification of atomic concurrent real-time transactions
Software and Systems Modeling
Concurrency in Synchronous Systems
Formal Methods in System Design, 2006
Formal specification and analysis of distributed systems
1998
A method for the verification of a distributed and synchronized algorithm
International Journal of Production Research, 2004
Coordinated Atomic Actions: Formal Model, Case Study and System Implementation
1998
Sequentialization and Synchronization for Distributed Programs
2017
IOA: A Language for Specifying, Programming, and Validating Distributed Systems
2001
A correct-by-construction model for asynchronously communicating systems
International Journal on Software Tools for Technology Transfer, 2016
The role of atomic actions in a distributed system
Microelectronics Reliability, 1989
Specification and Verification of Secure Concurrent and Distributed Software Systems
1992
Modelling, analysing and model checking commit protocols
2000
Convergence Verification: From Shared Memory to Partially Synchronous Systems
Lecture Notes in Computer Science
Specification and Verification in Integrated Model of Distributed Systems (IMDS)
Computers, 2018
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation
2007
A low-cost non-blocking atomic commitment protocol for asynchronous systems
A decision procedure for detecting atomicity violations for communicating processes with locks
International Journal on Software Tools for Technology Transfer, 2011
Infinite-state high-level MSCs: Model-checking and realizability
Journal of Computer and System Sciences, 2006
A dynamic logic for verification of synchronous models based on theorem proving
Frontiers of Computer Science
Property verification of asynchronous systems
Innovations in Systems and Software Engineering, 2005
Synchronization of nested atomic actions
Software: Practice and Experience, 1990