Process Specification in a UNITY Format
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Simple ProtocolsPublished by Cambridge University Press (CUP) ,1993
- Process Algebra with Signals and ConditionsPublished by Springer Nature ,1992
- Specification styles in distributed systems design and verificationTheoretical Computer Science, 1991
- Two simple protocolsPublished by Cambridge University Press (CUP) ,1990
- Applications of Process AlgebraPublished by Cambridge University Press (CUP) ,1990