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
