Electronic Notes in Theoretical Computer Science, Volume 11

Volume 11, 1998

• Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
  Preface.
  Electronic Edition (link) BibTeX
• Paul Caspi, Marc Pouzet:
  A Co-iterative Characterization of Synchronous Stream Functions.
  Electronic Edition (link) BibTeX
• Andrea Corradini, Martin Große-Rhode, Reiko Heckel:
  Structured Transition Systems as Lax Coalgebras.
  Electronic Edition (link) BibTeX
• H. Peter Gumm, Tobias Schröder:
  Covarieties and Complete Covarieties.
  Electronic Edition (link) BibTeX
• Alexander Kurz:
  Specifying Coalgebras with Modal Logic.
  Electronic Edition (link) BibTeX
• Luís Monteiro:
  Semantic domains based on sets with families of equivalences.
  Electronic Edition (link) BibTeX
• Alberto Pardo:
  Monadic Corecursion - Definition, Fusion Laws, and Applications.
  Electronic Edition (link) BibTeX
• Dusko Pavlovic:
  Guarded induction on final coalgebras.
  Electronic Edition (link) BibTeX
• John Power, Hiroshi Watanabe:
  An axiomatics for categories of coalgebras.
  Electronic Edition (link) BibTeX
• Grigore Rosu:
  A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra.
  Electronic Edition (link) BibTeX
• Dmitri Schamschurko:
  Modeling Process Calculi with PVS.
  Electronic Edition (link) BibTeX
• James Worrell:
  Toposes of Coalgebras and Hidden Algebras.
  Electronic Edition (link) BibTeX
• Bart Jacobs:
  Coalgebraic Reasoning about Classes in Object-Oriented Languages.
  Electronic Edition (link) BibTeX
• Horst Reichel:
  Dialgebraic Logics.
  Electronic Edition (link) BibTeX
• Jan J. M. M. Rutten:
  Relators and Metric Bisimulations.
  Electronic Edition (link) BibTeX