Tome 35 (2001) no. 1

Sommaire

Integrating observational and computational features in the specification of state-based, dynamical systems
p. 1-29
Many-sorted coalgebraic modal logic : a model-theoretic study
p. 31-59
A coalgebraic semantics of subtyping
p. 61-81
Coalgebras for binary methods : properties of bisimulations and invariants
p. 83-111