Deadlock Analysis in Networks of Communicating Processes
- 1 January 1985
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Deterministic buffer synchronization of sequential processesActa Informatica, 1982
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Deadlock absence proofs for networks of communicating processesInformation Processing Letters, 1979
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Hierarchical ordering of sequential processesActa Informatica, 1971