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
Contents
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference.
Samson Abramsky, Jonathan A. Zvesper
1-19
Defining Context-Free Power Series Coalgebraically.
Marcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter
20-39
Structural Operational Semantics for Continuous State Probabilistic Processes.
Giorgio Bacci, Marino Miculan
71-89
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
130-149