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.
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)|
|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:||12 Feb 2006|
|Last Modified:||31 Mar 2016 14:04|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)