Models for concurrency: towards a classification |
| |
Authors: | Vladimiro Sassone Mogens Nielsen Glynn Winskel |
| |
Affiliation: | BRICS, Computer Science Department, University of Aarhus, Ny Munkegade, Bldng 540, DK-8000, Aarhus, Denmark |
| |
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 them using the language of category theory. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|