Modelling Dynamic Communication Structures in LOTOS
- 1 January 1992
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Structural and behavioural equivalences of networksPublished by Springer Nature ,2005
- Specification and Validation of a Simple Overtaking Protocol using LOTOSPublished by Elsevier ,1992
- The expressive power of parallelismFuture Generation Computer Systems, 1990
- Expressing interesting properties of programs in propositional temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979