A Theory of Recursive Domains with Applications to Concurrency

Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel

Abstract


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.

Full Text:

PDF


DOI: http://dx.doi.org/10.7146/brics.v4i35.18961
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK


ISSN: 0909-0878 

Hosted by the State and University Library and Aarhus University Library