D-continuous causal nets: A model of non-sequential processes
- 31 December 1983
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 28 (1-2) , 171-196
- https://doi.org/10.1016/0304-3975(83)90070-1
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Discreteness, K-density and D-continuity of occurrence netsPublished by Springer Nature ,2006
- Some properties of D-continuous causal netsPublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Behaviours of concurrent systemsTheoretical Computer Science, 1980
- Bipolar synchronization systemsLecture Notes in Computer Science, 1980
- The relative strength of K-densityPublished by Springer Nature ,1980
- A theorem on the characteristics of non-sequential processesFundamenta Informaticae, 1980
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977
- SynchronisationsgraphenActa Informatica, 1973