Subscriber Authentication Point

EDPS Account

Volume 35 / No 1 (January/February 2001)

RAIRO - Theoretical Informatics and Applications

Volume 35 / No 1 (January/February 2001)

Coalgebraic Methods in Computer Science

Export the citation of the selected articles Export
Select all

Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems p. 1

Corina Cîrstea

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2001107

Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study p. 31

Bart Jacobs

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2001108

A Coalgebraic Semantics of Subtyping p. 61

Erik Poll

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2001109

Coalgebras for Binary Methods: Properties of Bisimulations and Invariants p. 83

Hendrik Tews

Published online: 15 April 2002

DOI: https://doi.org/10.1051/ita:2001110