Vladimiro Sassone, Mogens Nielsen, Glynn Winskel  Home/Search
Context Related
| dcs.qmw.ac.uk/~vs/...odelsmfcs93.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmw.ac.uk/~vs/cv/publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models are all proved equivalent in the rather strong sense of being equivalent as categories. The models are: deterministic labelled event structures, generalized trace languages in which the independence relation is context-dependent, and deterministic languages of pomsets. Introduction Models for concurrency can be classified... (Update)
Context of citations to this paper: More
...to be a left adjoint. A more detailed comparison between interleaving and independence models can suggest new models. See, for example, [81, 82] for a classification of models which includes a generalisation of Mazurkiewicz traces, associated with a broad class of pomset...
...and formalizes their mutual relationships. Here most of the proofs are omitted. The reader interested in more details is referred to [15, 16]. Some of the results presented here will appear in [23] 1 Preliminaries In this section, we study the interleaving models. We start...
Cited by: More
Causal Traces - Rensink (1995) (Correct)
Denotational, Causal, and Operational Determinism in Event.. - Rensink (1995) (Correct)
Relationships between Models of Concurrency - Nielsen, Sassone, Winskel (1994) (Correct)
Active bibliography (related documents): More All
0.7: A Classification of Models for Concurrency (Extended.. - Sassone, Nielsen, Winskel (1993) (Correct)
0.3: On Some Compositional Petri Net Semantics - Priese, Wimmel (1995) (Correct)
0.2: On the Semantics of Place/Transition Petri Nets - Meseguer, Montanari, Sassone (1996) (Correct)
Similar documents based on text: More All
0.6: BRICS Research Series, 1994 - Brics (1998) (Correct)
0.3: Models for Concurrency: Towards a Classification - Sassone, Nielsen, Winskel (1996) (Correct)
0.3: Transition Systems with Independence and Multi-Arcs - Hildebrandt, Sassone (1997) (Correct)
Related documents from co-citation: More All
9: Event structures (context) - Winskel - 1986
7: Basic notions of trace theory (context) - Mazurkiewicz - 1989
6: Categories for the working mathematician (context) - MacLane - 1972
BibTeX entry: (Update)
V. Sassone, M. Nielsen, and G. Winskel. Deterministic Behavioural Models for Concurrency. In Proceedings of 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS `93, LNCS n. 711, pp. 682--692, Springer-Verlag, 1993. http://citeseer.ist.psu.edu/sassone93deterministic.html More
@inproceedings{ sassone93deterministic,
author = "Vladimiro Sassone and Mogens Nielsen and Glynn Winskel",
title = "Deterministic Behavioural Models for Concurrency",
booktitle = "Proceedings of the 18th Mathematical Foundations of Computer Science ({MFCS}'93), Gdansk (Polen) 1993",
number = "711",
publisher = "Springer",
address = "Berlin-Heidelberg-New York",
editor = "A. Borzyszkowski and others",
pages = "682--692",
year = "1993",
url = "citeseer.ist.psu.edu/sassone93deterministic.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
236 Categories for the Working Mathematician (context) - MacLane - 1971
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981 ACM
131 Modeling Concurrency with Partial Orders (context) - Pratt - 1986 ACM
125 Event Structures (context) - Winskel - 1987 ACM DBLP
86 Basic Notions of Trace Theory (context) - Mazurkiewicz - 1988 ACM DBLP
24 Theoretical Computer Science (context) - Gischer, Theory - 1988 ACM
24 Fundamenta Informaticae - Grabowski, Languages - 1981
11 A Trace Semantics for Petri Nets (context) - Hoogers, Kleijn et al. - 1992 ACM DBLP
10 Deterministic Behavioural Models for Concurrency - Sassone, Nielsen et al. - 1993 ACM DBLP
7 To appear in the Handbook of Logic in Computer Science (context) - Winskel, Nielsen et al. - 1992
3 Traces and Semiwords (context) - Starke - 1985
2 To appear as Technical Report Daimi (context) - Sassone, Nielsen et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmw.ac.uk/~vs/cv/publ.html): More
CCS Dynamic Bisimulation is Progressing - Montanari, Sassone (1991) (Correct)
Transition Systems with Independence and Multi-Arcs - Hildebrandt, Sassone (1997) (Correct)
Models for Concurrency: Towards a Classification - Sassone, Nielsen, Winskel (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC