State machines and assertions: An integrated approach to modeling and verification of distributed systems
- 31 December 1986
- journal article
- research article
- Published by Elsevier in Science of Computer Programming
- Vol. 7 (1), 1-22
- https://doi.org/10.1016/0167-6423(86)90002-x
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- A model and temporal proof system for networks of processesDistributed Computing, 1986
- Exposure to deadlock for communicating processes is hard to detectInformation Processing Letters, 1985
- Using message passing for distributed programming: proof rules and disciplinesACM Transactions on Programming Languages and Systems, 1984
- An HDLC protocol specification and its verification using image protocolsACM Transactions on Computer Systems, 1983
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- Finite state description of communication protocolsComputer Networks (1976), 1978
- An axiomatic basis for computer programmingCommunications of the ACM, 1969