Theoretical Computer Science, Volume 280

Volume 280, Number 1-2, May 2002

• Bart Jacobs, Jan J. M. M. Rutten:
  Coalgebraic Methods in Computer Science - Foreword. 1
  Electronic Edition (link) BibTeX
• Uwe Wolter:
  CSP, partial automata, and coalgebras. 3-34
  Electronic Edition (link) BibTeX
• Corina Cîrstea:
  A coalgebraic equational approach to specifying observational structures. 35-68
  Electronic Edition (link) BibTeX
• Alexander Kurz, Rolf Hennicker:
  On institutions for modular coalgebraic specifications. 69-103
  Electronic Edition (link) BibTeX
• Dusko Pavlovic, Vaughan R. Pratt:
  The continuum as a final coalgebra. 105-122
  Electronic Edition (link) BibTeX
• Slawomir Lasota:
  Coalgebra morphisms subsume open maps. 123-135
  Electronic Edition (link) BibTeX
• John Power, Hiroshi Watanabe:
  Combining a monad and a comonad. 137-162
  Electronic Edition (link) BibTeX
• Andrea Corradini, Reiko Heckel, Ugo Montanari:
  Compositional SOS and beyond: a coalgebraic view of open systems. 163-192
  Electronic Edition (link) BibTeX