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

• Abstract
• PDF (301.9 KB)
• References

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

• Abstract
• PDF (277.2 KB)
• References

A Coalgebraic Semantics of Subtyping p. 61

Erik Poll

Published online: 15 April 2002

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

• Abstract
• PDF (206.9 KB)
• References

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

• Abstract
• PDF (289.5 KB)
• References