Specification and Verification of a Sliding Window Protocol in LOTOS
- 1 January 1992
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Verification of synchronous sequential machines based on symbolic executionPublished by Springer Nature ,1990
- The concurrency workbenchPublished by Springer Nature ,1990
- Process calculi, from theory to practice: Verification toolsPublished by Springer Nature ,1990
- An introduction to PSFdPublished by Springer Nature ,1989
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983