Since 2014
A Theory of Recursive Domains with Applications to Concurrency
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
A Theory of Recursive Domains with Applications to Concurrency
|
|
| Creator |
Cattani, Gian Luca
Fiore, Marcelo P. Winskel, Glynn |
|
| Description |
We develop a 2-categorical theory for recursively defined domains.In particular, we generalise the traditional approach based on order-theoretic structures to category-theoretic ones. A motivation for this development is the need of a domain theory for concurrency, with an account of bisimulation. Indeed, the leading examples throughout the paper are provided by recursively defined presheaf models for concurrent process calculi. Further, we use the framework to study (open-map) bisimulation.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1997-06-05
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/18961
10.7146/brics.v4i35.18961 |
|
| Source |
BRICS Report Series; No 35 (1997): RS-35 A Theory of Recursive Domains with Applications to Concurrency
BRICS Report Series; Nr. 35 (1997): RS-35 A Theory of Recursive Domains with Applications to Concurrency 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/18961/16600
|
|