Marcelo Fiore (Sussex)
A Theory of Recursive Domains with Applications to Concurrency

I will present a 2-categorical theory for recursively defined domains generalising the traditional approach based on order-theoretic structures to category-theoretic ones. A motivation for this work is the need of a domain theory for concurrency with an account of bisimulation.
This is joint work with Gian Luca Cattani and Glynn Winskel. An extended abstract with our results appeared in the Proceedings of LICS 1998.