Trace Semantics for Coalgebras (2003)

Cached

Download Links

by Bart Jacobs
Citations:18 - 7 self

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
11 Context-free languages via coalgebraic trace semantics – Ichiro Hasuo, Bart Jacobs - 2005
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
94 The Linear Time-Branching Time Spectrum I - The Semantics of Concrete, Sequential Processes – R.J. van Glabbeek
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
60 A Semantics for Shape – C. Barry Jay - 1995
233 Modeling and verification of randomized distributed real-time systems – R Segala - 1995
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
15 Reconciling Nondeterministic and Probabilistic Choices – L Cheung - 2006
11 Generic forward and backward simulations – Ichiro Hasuo, Ichiro Hasuo - 2006
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
14 Coalgebras and their logics – A Kurz - 2006
930 Categories for the Working Mathematician – S Mac Lane - 1971