A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
A Theory of Recursive Domains with Applications to Concurrency
1997
BRICS Report Series
We develop a 2-categorical theory for recursively defined domains.<br />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.
doi:10.7146/brics.v4i35.18961
fatcat:ob4e7tmiofe3xaaxact4ub7aby