Relationships between Models of Concurency
- 1 December 1993
- journal article
- Published by Det Kgl. Bibliotek/Royal Danish Library in DAIMI Report Series
- Vol. 22 (456)
- https://doi.org/10.7146/dpb.v22i456.6929
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 formalized through the medium of category theory.Keywords
This publication has 0 references indexed in Scilit: