Generalized Coiteration Schemata (2003)

Cached

Download Links

by Daniela Cancila , Furio Honsell , Marina Lenisa
Citations:7 - 0 self

Active Bibliography

Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
1 Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language – Furio Honsell, Marina Lenisa, Rekha Redamalla
2 Coalgebraic Semantics of an Imperative Class Based Language – Furio Honsell, Marina Lenisa - 2003
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
5 Themes in Final Semantics – Marina Lenisa - 1998
1 A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects – Marina Lenisa - 1983
3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
8 Coalgebraic Theories of Sequences in PVS – Ulrich Hensel, Bart Jacobs - 1998
1 GSOS for probabilistic transition systems (Extended Abstract) – Falk Bartels - 2002
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
16 Generalised Coinduction – Falk Bartels - 2001
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
3 Corecursive Algebras: A Study of General Structured Corecursion (Extended Abstract) – Venanzio Capretta, Tarmo Uustalu, Varmo Vene