Petri nets, event structures and domains, part I

Theoretical Computer Science

Volumn 13, Issue 1, 1981, Pages 85-108

  Nielsen, Mogens ^a   Plotkin, Gordon ^b   Winskel, Glynn ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 49149133619     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(81)90112-2     Document Type: Article

References (16)

1. A theorem on the characteristics of non-sequential processes
2. Initial algebra semantics and continuous algebras
3. Final report of the Information System Theory Project
4. Domaines concret
5. Bases for chain-complete posets
6. Concurrent program schemes and their interpretations
7. Concurrent processes and their syntax
8. Nichtsequentielle Prozesse
9. Non-sequential processes
10. General net theory. Communication disciplines
11. Concurrency as a basis of systems thinking
12. Outline of a mathematical theory of computation
13. The lattice of flow diagrams
14. Data types as lattices