From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems (1999)

Cached

Download Links

by Marina Lenisa
Venue:In Jacobs and Rutten [JR99
Citations:16 - 0 self

Active Bibliography

Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa - 2000
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
6 Themes in Final Semantics – Marina Lenisa - 1998
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
734 Notions of Computation and Monads – Eugenio Moggi - 1991
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
1008 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003