Vladimiro Sassone, Mogens Nielsen, Glynn Winskel  Home/Search
Context Related
| dcs.qmw.ac.uk/~vs/...ubefulltcs.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) Homepages: V.Sassone |
Rate this article:      (best)Comment on this article |
Abstract: Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level of abstraction of the resulting semantics. In this paper, we move a step towards a classification of models for concurrency based on the parameters above. Formally, we choose a representative of any of the eight classes of models obtained by... (Update)
Context of citations to this paper: More
...have been given and were analyzed in the past. Transition systems, Petri nets, Mazurkiewicz traces, and event structures head the list. In [SNW96] several models are compared on a formal basis. The common idea of all models is that each is based on atomic units that are...
Cited by: More
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
Labelled Event Structure Semantics of Linear Logic Planning - Kahramanogullari (Correct)
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (Correct)
Similar documents (at the sentence level):
21.2%: Relationships between Models of Concurrency - Nielsen, Sassone, Winskel (1994) (Correct)
6.6%: A Classification of Models for Concurrency (Extended.. - Sassone, Nielsen, Winskel (1993) (Correct)
Active bibliography (related documents): More All
0.2: Causal Traces - Rensink (1995) (Correct)
0.2: Representation of Computations in Concurrent Automata by.. - Bracho, Droste, Kuske (1997) (Correct)
0.2: Models for Concurrency - Winskel, Nielsen (1994) (Correct)
Similar documents based on text: More All
0.6: BRICS Research Series, 1994 - Brics (1998) (Correct)
0.4: Deterministic Behavioural Models for Concurrency.. - Sassone, Nielsen, Winskel (1993) (Correct)
0.3: Transition Systems with Independence and Multi-Arcs - Hildebrandt, Sassone (1997) (Correct)
Related documents from co-citation: More All
8: Presheaf models for concurrency - Cattani, Winskel - 1997
7: Models for Concurrency - Nielsen, Winskel - 1994
6: Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
BibTeX entry: (Update)
V. Sassone, M. Nielsen, and G. Winskel. Models for Concurrency: Towards a classification. Theoretical Computer Science, 170(1-2):297--348, December 1996. http://citeseer.ist.psu.edu/20892.html More
@article{ sassone96models,
author = "Vladimiro Sassone and Mogens Nielsen and Glynn Winskel",
title = "Models for concurrency: {Towards} a classification",
journal = "Theoretical Computer Science",
volume = "170",
number = "1--2",
pages = "297--348",
year = "1996",
url = "citeseer.ist.psu.edu/20892.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
906 A Structural Approach to Operational Semantics - Plotkin - 1981
299 Algebraic Theory of Processes (context) - Hennessy - 1988
236 Categories for the Working Mathematician (context) - MacLane - 1971
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
144 Models for Concurrency - Winskel, Nielsen - 1995
125 Event Structures (context) - Winskel - 1987
102 Formal Verification of Parallel Programs (context) - Keller - 1976
86 Basic Notions of Trace Theory (context) - Mazurkiewicz - 1988
65 Institut fur Instrumentelle Mathematik (context) - Petri, Automaten - 1962
58 Theoretical Computer Science (context) - Winskel - 1985
50 Concurrent Transition Systems - Stark - 1989
44 Concurrent Machines (context) - Shields - 1985
41 A Classification of Models for Concurrency (context) - Sassone, Nielsen et al. - 1993
38 Event Structure Semantics of CCS and Related Languages (context) - Winskel - 1982
21 Relationships between Models of Concurrency - Nielsen, Sassone et al. - 1994
12 On Relating some Models for Concurrency - Degano, Gorrieri et al. - 1993
11 Concurrent Automata and Domains (context) - Droste - 1992
10 Deterministic Behavioural Models for Concurrency - Sassone, Nielsen et al. - 1993
7 Categories of Asynchronous Transition Systems (context) - Bednarczyk - 1988
1 Universita di Pisa (context) - Sassone, Semantics et al. - 1994
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)
Representation Theorems for Petri Nets - Meseguer, Montanari, Sassone (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