Context-free languages via coalgebraic trace semantics (2005)

Cached

Download Links

by Ichiro Hasuo , Bart Jacobs
Venue:International Conference on Algebra and Coalgebra in Computer Science (CALCO’05), volume 3629 of Lect. Notes Comp. Sci
Citations:11 - 8 self

Documents Related by Co-Citation

18 Trace Semantics for Coalgebras – Bart Jacobs - 2003
15 Reconciling Nondeterministic and Probabilistic Choices – L Cheung - 2006
233 Modeling and verification of randomized distributed real-time systems – R Segala - 1995
35 The category theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
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
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
67 Semantics of weakening and contraction – B Jacobs - 1994
8 Generic trace theory – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2006
11 Generic forward and backward simulations – Ichiro Hasuo, Ichiro Hasuo - 2006
11 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
4 Coalgebraic trace semantics for probabilistic systems – Ichiro Hasuo, Bart Jacobs - 2005
13 Least fixed point of a functor – J Adámek, V Koubek - 1979
19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
9 Coalgebraic analysis of probabilistic systems – A Sokolova - 2005
18 Handbook of Categorical Algebra, volume 50, 51 and 52 of Encyclopedia of Mathematics. Cambridge Univ – F Borceux - 1994
6 Distributing Probabililty over Nondeterminism – D Varacca, G Winskel
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
60 A Semantics for Shape – C. Barry Jay - 1995