Event structures and trace monoids

Rozoy, Brigitte ; Thiagarajan, P. S. (1991) Event structures and trace monoids Theoretical Computer Science, 91 (2). pp. 285-313. 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(91)90087-I

Abstract

Event structures are a poset-based model for describing the behaviour of distributed systems. They give rise to a well-understood class of Scott domains. Event structures are also related to Petri nets in a fundamental way. Trace monoids are a string-based formalism for describing the behaviour of distributed systems. They have an independent theory rooted in the theory of formal languages. Here we obtain a representation of trace monoids in terms of a subclass of labelled event structures.

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

Repository Staff Only: item control page