Axioms for contextual net processes
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 296-308
- https://doi.org/10.1007/bfb0055062
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Partial order and contextual net semantics for atomic and locally atomic CC programsScience of Computer Programming, 1998
- An inductive view of graph transformationPublished by Springer Nature ,1998
- An event structure semantics for P/T contextual nets: Asymmetric event structuresPublished by Springer Nature ,1998
- A 2-categorical presentation of term graph rewritingPublished by Springer Nature ,1997
- Axiomatizing the algebra of net computations and processesActa Informatica, 1996
- Non sequential semantics for contextual P/T netsPublished by Springer Nature ,1996
- A Petri net semantics for π-calculusPublished by Springer Nature ,1995
- Coloured Petri nets extended with place capacities, test arcs and inhibitor arcsPublished by Springer Nature ,1993
- Concurrent bisimulations in Petri netsActa Informatica, 1991
- Cartesian bicategories IJournal of Pure and Applied Algebra, 1987