RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 35 (2001) no. 1

Table of contents

Integrating observational and computational features in the specification of state-based, dynamical systems

Cîrstea, Corina

p. 1-29

Many-sorted coalgebraic modal logic : a model-theoretic study

Jacobs, Bart

p. 31-59

A coalgebraic semantics of subtyping

Poll, Erik

p. 61-81

Coalgebras for binary methods : properties of bisimulations and invariants

Tews, Hendrik

p. 83-111