Models for Concurrency: Towards a Classification
Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170, (1-2), 297-348.
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 varying the three parameters, and we study the formal relationships between using the language of category theory.
|Keywords:||models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency models|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
|Date Deposited:||26 Jan 2006|
|Last Modified:||09 Aug 2012 23:55|
|Contributors:||Sassone, V. (Author)
Nielsen, M. (Author)
Winskel, G. (Author)
|Further Information:||Google Scholar|
|ISI Citation Count:||24|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)