Specification and stepwise development of communicating systems
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 149-163
- https://doi.org/10.1007/3-540-54834-3_11
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Nets, Terms and FormulasPublished by Cambridge University Press (CUP) ,1991
- The laws of OCCAM programmingTheoretical Computer Science, 1988
- Up and Down The Temporal WayThe Computer Journal, 1987
- Specification-oriented semantics for Communicating ProcessesActa Informatica, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Predicative programming Part ICommunications of the ACM, 1984
- Two Complete Axiom Systems for the Algebra of Regular EventsJournal of the ACM, 1966