A Classification of Models for Concurrency
Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (187Kb) |
Description/Abstract
Models for concurrency can be classified with respect to the 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. The classifications are formalised through the medium of category theory.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| ISBNs: | 3540572082 |
| Keywords: | models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency models |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 261946 |
| Date Deposited: | 12 Feb 2006 |
| Last Modified: | 06 Aug 2012 23:29 |
| Contributors: | Sassone, V. (Author) Nielsen, M. (Author) Winskel, G. (Author) |
| Date: | 1993 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| ISI Citation Count: | 24 |
| URI: | http://eprints.soton.ac.uk/id/eprint/261946 |
Actions (login required)
 |
View Item |
