General refinement and recursion operators for the Petri Box calculus
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 130-140
- https://doi.org/10.1007/3-540-56503-5_16
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- General refinement and recursion operators for the Petri Box calculusPublished by Springer Nature ,1993
- A basic-net algebra for program semantics and its application to occamPublished by Springer Nature ,1992
- The box calculus: A new causal algebra with multi-label communicationPublished by Springer Nature ,1992
- Nets, Terms and FormulasPublished by Cambridge University Press (CUP) ,1991
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- Finite Reresentations of CCS and TCSP Programs by Automata and Petri NetsPublished by Springer Nature ,1989
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- Petri net models for algebraic theories of concurrencyPublished by Springer Nature ,1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986