A Theory of Recursive Domains with Applications to Concurrency
DOI:
https://doi.org/10.7146/brics.v4i35.18961Abstract
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.
Downloads
Published
1997-06-05
How to Cite
Cattani, G. L., Fiore, M. P., & Winskel, G. (1997). A Theory of Recursive Domains with Applications to Concurrency. BRICS Report Series, 4(35). https://doi.org/10.7146/brics.v4i35.18961
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.