Petri nets, event structures and domains, part I
- 1 January 1981
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 13 (1), 85-108
- https://doi.org/10.1016/0304-3975(81)90112-2
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Denotational semantics: The scott-strachey approach to programming language theory: Joseph E. Stoy (The MIT Press, Cambridge, MA)Computer Languages, 1983
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- Bases for Chain-complete PosetsIBM Journal of Research and Development, 1976
- The lattice of flow diagramsPublished by Springer Nature ,1971