D-continuous causal nets: A model of non-sequential processes
Authors:
- 31 December 1983
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 28 (1-2) , 171-196
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Some properties of D-continuous causal nets1982
- 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-density1980
- A theorem on the characteristics of non-sequential processesFundamenta Informaticae, 1980
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977
- SynchronisationsgraphenActa Informatica, 1973