Electronic Notes in Theoretical Computer Science, Volume 11

Volume 11, 1998

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