Models for concurrency: towards a classification

Vladimiro Sassone; Mogens Nielsen; Glynn Winskel

doi:10.1016/S0304-3975(96)80710-9

Models for concurrency: towards a classification

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

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.

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	170
Nummer	1-2
Sider (fra-til)	297-348
ISSN	0304-3975
DOI	https://doi.org/10.1016/S0304-3975(96)80710-9
Status	Udgivet - 1996

Adgang til dokumentet

10.1016/S0304-3975(96)80710-9

Citationsformater

@article{bb064c60f16411dfa891000ea68e967b,

title = "Models for concurrency: towards a classification",

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.",

author = "Vladimiro Sassone and Mogens Nielsen and Glynn Winskel",

year = "1996",

doi = "10.1016/S0304-3975(96)80710-9",

language = "English",

volume = "170",

pages = "297--348",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier BV",

number = "1-2",

}

TY - JOUR

T1 - Models for concurrency: towards a classification

AU - Sassone, Vladimiro

AU - Nielsen, Mogens

AU - Winskel, Glynn

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

U2 - 10.1016/S0304-3975(96)80710-9

DO - 10.1016/S0304-3975(96)80710-9

M3 - Journal article

SN - 0304-3975

VL - 170

SP - 297

EP - 348

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-2

ER -

Models for concurrency: towards a classification

Abstract

Adgang til dokumentet

Fingeraftryk

Citationsformater