Theoretical Informatics and Applications

Vol. 35 No. 1 (January-February 2001)

Special Issue: Coalgebraic Methods in Computer Science

• Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems     p. 1
  Corina Cîrstea
  Abstract | References | PDF file (311 KB)



• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study     p. 31
  Bart Jacobs
  Abstract | References | PDF file (286 KB)



• A Coalgebraic Semantics of Subtyping     p. 61
  Erik Poll
  Abstract | References | PDF file (213 KB)



• Coalgebras for Binary Methods: Properties of Bisimulations and Invariants     p. 83
  Hendrik Tews
  Abstract | References | PDF file (299 KB)

© EDP Sciences 2001