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

Documents Related by Co-Citation

297 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
18 Trace Semantics for Coalgebras – Bart Jacobs - 2003
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
5 A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum – L Monteiro - 2009
6 Tracing Anonymity with Coalgebras – I Hasuo - 2010
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
730 Notions of Computation and Monads – Eugenio Moggi - 1991
94 The Linear Time-Branching Time Spectrum I - The Semantics of Concrete, Sequential Processes – R.J. van Glabbeek
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
29 General recursion via coinductive types – Venanzio Capretta
15 A note on coinduction and weak bisimilarity for While programs – Jan J M M Rutten - 1999
11 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
133 Semantics with Applications: A Formal Introduction – Hanne Riis Nielson, Flemming Nielson - 1992
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
129 Terminal coalgebras in well-founded set theory, Theoret – Michael Barr - 1993
74 Higher dimensional algebra III: n-categories and the algebra of opetopes – John C. Baez, James Dolan - 1997
919 Categories for the working mathematician – Mac Lane, S - 1971