Marcelo Fiore (Sussex)
<br>
A Theory of Recursive Domains with Applications to Concurrency
<P>
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.   
<br>
This is joint work with Gian Luca Cattani and Glynn Winskel.  An
<a href="http://www.dcs.ed.ac.uk/~mf/CONCURRENCY/prof.ps">
extended abstract</a> with our results appeared in the Proceedings of 
LICS 1998.