D-continuous causal nets: a model of non-sequential processes

Fernández, C. ; Thiagarajan, P. S. (1983) D-continuous causal nets: a model of non-sequential processes Theoretical Computer Science, 28 (1-2). pp. 171-196. ISSN 0304-3975

Full text not available from this repository.

Official URL: http://www.sciencedirect.com/science/article/pii/0...

Related URL: http://dx.doi.org/10.1016/0304-3975(83)90070-1

Abstract

We propose a model of non-sequential processes and study its properties. The model is called D-continuous causal nets (CCN's) and is based on a class of Petri nets. A causal net is essentially a partially ordered set of conditions and events which represents a fragment of the history of a concurrent system. D-continuity is a generalization of Dedekind's definition of the continuity (completeness) of the reals which is applicable to both totally and partially ordered sets as also to both dense and discrete structures. We develop a number of properties of our model and discuss why these might be useful properties for a non-sequential process to have.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
ID Code:50506
Deposited On:25 Jul 2011 11:43
Last Modified:25 Jul 2011 11:43

Repository Staff Only: item control page