Paper: A Theory of Recursive Domains with Applications to Concurrency (at LICS 1998)

Authors: 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

BibTeX

  @InProceedings{CattaniFioreWinskel-ATheoryofRecursiveD,
    author = 	 {Gian Luca Cattani and Marcelo P. Fiore and Glynn Winskel},
    title = 	 {A Theory of Recursive Domains with Applications to Concurrency},
    booktitle =  {Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science (LICS 1998)},
    year =	 {1998},
    month =	 {June}, 
    pages =      {214--225},
    location =   {Indianapolis, IN, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }