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.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (2244Kb) |
Description/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 varying the three parameters, and we study the formal relationships between using the language of category theory.
| Item Type: | Article |
|---|---|
| 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 |
| Item ID: | 261819 |
| Date Deposited: | 26 Jan 2006 |
| Last Modified: | 09 Aug 2012 23:55 |
| Contributors: | Sassone, V. (Author) Nielsen, M. (Author) Winskel, G. (Author) |
| Date: | 1996 |
| Status: | Published |
| Publisher: | Elsevier |
| Further Information: | Google Scholar |
| ISI Citation Count: | 24 |
| URI: | http://eprints.soton.ac.uk/id/eprint/261819 |
Actions (login required)
 |
View Item |
