Testing for unboundedness of Fifo channels
- 13 November 2005
- book chapter
- Published by Springer Nature
- p. 322-333
- https://doi.org/10.1007/bfb0020809
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A survey on the decidability questions for classes of fifo netsLecture Notes in Computer Science, 1988
- Automated Protocol Validation in Argos: Assertion Proving and Scatter SearchingIEEE Transactions on Software Engineering, 1987
- A generalization of the procedure of karp and miller to well structured transition systemsLecture Notes in Computer Science, 1987
- Boundedness, empty channel detection, and synchronization for communicating finite automataTheoretical Computer Science, 1986
- Finite state description of communication protocolsComputer Networks (1976), 1978
- Parallel program schemataJournal of Computer and System Sciences, 1969