Generic trace semantics via coinduction (2007)

Cached

Download Links

by Ichiro Hasuo , Bart Jacobs , Ana Sokolova
Venue:Logical Methods in Comp. Sci
Citations:17 - 6 self

Active Bibliography

8 Generic trace theory – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2006
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
11 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
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
21 Solving Recursive Domain Equations with Enriched Categories – Kim Ritter Wagner, Stephen Brookes, John C. Reynolds - 1994
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
1 An algorithm to quantify behavioural similarity between probabilistic systems – Babita Sharma - 2006
27 Probabilistic Automata: System Types, Parallel Composition and Comparison – A. Sokolova, E. P. De Vink - 2004
1 The Convex Powerdomain in a Category of Posets Realized By Cpos – Alex K. Simpson - 1995
23 A Theory of Recursive Domains with Applications to Concurrency – Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel - 1997
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
Developing Theories of Types and Computability – Thesis Proposal, Lars Birkedal - 1999
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
8 Coalgebraic Theories of Sequences in PVS – Ulrich Hensel, Bart Jacobs - 1998
3 Exemplaric Expressivity of Modal Logics – Bart Jacobs, Ana Sokolova - 2008
7 Enrichment and Representation Theorems for Categories of Domains and Continuous Functions – Marcelo P. Fiore - 1996
Probabilistic Simulation ⋆ – Ichiro Hasuo, Ichiro Hasuo - 2010