A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines
No abstract available.
Related papers
- Data Flow Analysis of Communicating Finite State Machines TOPLAS 1991
- Static deadlock detection for concurrent go by global session graph synthesis CC 2016
- Proving Liveness for Networks of Communicating Finite State Machines TOPLAS 1986
- A Distributed Deadlock Detection Algorithm for CSP-Like Communication TOPLAS 1990
- Characterizing Implementability of Global Protocols with Infinite States and Data OOPSLA 2025
- Termination Detection of Diffusing Computations in Communicating Sequential Processes TOPLAS 1982
- A Distributed Alternative to Finite-State-Machine Specifications TOPLAS 1985
- Adding Liveness Properties to Coupled Finite-State Machines TOPLAS 1990