Petri nets, event structures and domains
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 266-284
- https://doi.org/10.1007/bfb0022474
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Data Types as LatticesSIAM Journal on Computing, 1976
- Bases for Chain-complete PosetsIBM Journal of Research and Development, 1976