On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders (1998)

Cached

Download Links

by Jan J. M. M. Rutten , Daniele Turi
Venue:PROCEEDINGS OF THE REX WORKSHOP ON SEMANTICS: FOUNDATIONS AND APPLICATIONS, VOLUME 666 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:47 - 10 self

Active Bibliography

30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
7 A Structural Co-Induction Theorem – J. J. M. M. Rutten - 1993
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
Axioms for Asynchronous Processes – Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis
6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
40 A Co-induction Principle for Recursively Defined Domains – Andrew M. Pitts - 1992
1 De Bakker-Zucker Processes Revisited – Franck Van Breugel, Franck Van Breugel - 1999
7 Processes and Hyperuniverses – Marco Forti, Furio Honsell, Marina Lenisa - 1994
On Coalgebras and Final Semantics: Progress Report – James Worrell
Terminal Sequences for Accessible Endofunctors – n.n.
2 Final Coalgebras as Greatest Fixed Points in ZF Set Theory – Lawrence C. Paulson, L. C. Paulson - 1999