Analyzing concurrent systems using the Concurrency Workbench
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 129-144
- https://doi.org/10.1007/3-540-56883-2_8
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Software for Analytical Development of Communications ProtocolsAT&T Technical Journal, 1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969