Electronic Notes in Theoretical Computer Science, Volume 19

Volume 19, 1999

• Bart Jacobs, Jan J. M. M. Rutten:
  Preface.
  Electronic Edition (link) BibTeX
• Marina Lenisa:
  From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems.
  Electronic Edition (link) BibTeX
• Slawomir Lasota:
  Coalgebra morphisms subsume open maps.
  Electronic Edition (link) BibTeX
• James Worrell:
  Terminal sequences for accessible endofunctors.
  Electronic Edition (link) BibTeX
• Martin Rößiger:
  Languages for Coalgebras on Datafunctors.
  Electronic Edition (link) BibTeX
• Uwe Wolter:
  A coalgebraic introduction to CSP.
  Electronic Edition (link) BibTeX
• Peter Wegner, Dina Q. Goldin:
  Coinductive Models of Finite Computing Agents.
  Electronic Edition (link) BibTeX
• John Power, Hiroshi Watanabe:
  Distributivity for a monad and a comonad.
  Electronic Edition (link) BibTeX
• Dusko Pavlovic, Vaughan R. Pratt:
  On coalgebra of real numbers.
  Electronic Edition (link) BibTeX
• Andrea Corradini, Reiko Heckel, Ugo Montanari:
  From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.
  Electronic Edition (link) BibTeX
• Corina Cîrstea:
  A Coequational Approach to Specifying Behaviours.
  Electronic Edition (link) BibTeX
• Rolf Hennicker, Alexander Kurz:
  (Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications.
  Electronic Edition (link) BibTeX
• Dorel Lucanu, Ovidiu Gheorghies, Adriana Apetrei:
  Bisimulation and Hidden Algebra.
  Electronic Edition (link) BibTeX
• Franck van Breugel, Stephen Watson:
  A Note on Hyperspaces and Terminal Coalgebras.
  Electronic Edition (link) BibTeX