IFIP TC6 Open Digital Library

11. CMCS 2012: Tallinn, Estonia (Part of ETAPS 2012)

Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers

Dirk Pattinson, Lutz Schröder

Springer, Lecture Notes in Computer Science 7399, ISBN: 978-3-642-32783-4


From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference.

Samson Abramsky, Jonathan A. Zvesper


Defining Context-Free Power Series Coalgebraically.

Marcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter


Relational Presheaves as Labelled Transition Systems.

Pawel Sobocinski


On Finitary Functors and Their Presentations.

Jirí Adámek, Stefan Milius, Lawrence S. Moss


Structural Operational Semantics for Continuous State Probabilistic Processes.

Giorgio Bacci, Marino Miculan


Stream Automata Are Coalgebras.

Vincenzo Ciancia, Yde Venema


Trace Semantics via Determinization.

Bart Jacobs, Alexandra Silva 0001, Ana Sokolova


An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.

Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries


Lax Extensions of Coalgebra Functors.

Johannes Marti, Yde Venema


From Transitions to Executions.

Eleftherios Matsikoudis, Edward A. Lee


Tracing the Man in the Middle in Monoidal Categories.

Dusko Pavlovic


Permutations in Coinductive Graph Representation.

Celia Picard, Ralph Matthes


Internal Models for Coalgebraic Modal Logics.

Toby Wilkinson