Volume 11, 1998

CMCS '98 First Workshop on Coalgebraic Methods in Computer Science
Lisbon, Portugal, 28-29 March 1998

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