On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces (1998)

Cached

Download Links

by Daniele Turi , Jan Rutten
Citations:30 - 4 self

Active Bibliography

45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
7 A Structural Co-Induction Theorem – J. J. M. M. Rutten - 1993
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
8 Categorical Modelling of Structural Operational Rules - Case Studies – Daniele Turi - 1997
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
1 The Convex Powerdomain in a Category of Posets Realized By Cpos – Alex K. Simpson - 1995
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
1 Inductive, Projective, and Retractive Types – Brian T. Howard - 1993