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

Active Bibliography

12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
11 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
8 Generic trace theory – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2006
3 Structural Operational Semantics and Modal Logic, Revisited – Bartek Klin
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Structural Operational Semantics for Stochastic and Weighted Transition Systems – Bartek Klin, Vladimiro Sassone
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
3 Calculating invariants as coreflexive bisimulations – Luís S. Barbosa, José N. Oliveira, Ra M. Silva - 2008
3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
7 The category theoretic solution of recursive program schemes – Stefan Milius, Lawrence, S. Moss - 2006
2 Completeness of the finitary Moss logic – Clemens Kupke, Er Kurz, Yde Venema
8 The least fibred lifting and the expressivity of coalgebraic modal logic – Bartek Klin - 2005
Probabilistic Simulation ⋆ – Ichiro Hasuo, Ichiro Hasuo - 2010
7 New Bisimulation Semantics for Distributed Systems – David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez - 2007
15 Non-Deterministic Kleene Coalgebras – Alexandra Silva, Marcello Bonsangue, Jan Rutten
A Sound and complete axiomatisations of coalgebraic language equivalence – Marcello M. Bonsangue, Advanced Computer Science, Stefan Milius, Technische Universität Braunschweig, Alexandra Silva
13 Coalgebraic Structure From Weak Limit Preserving Functors – H. Peter Gumm, Tobias Schröder - 1999
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005