11th International Workshop on
Coalgebraic Methods in Computer Science, CMCS 2012

Tallinn, Estonia, 31 March-1 April 2012

Short Contributions

Dirk Pattinson and Lutz Schröder (Eds.)

The complete volume in a single file


Cover and Title Pages  
Preface and Table of Contents iii
Distributive Laws of Directed Containers
Danel Ahman and Tarmo Uustalu
1
Final Coalgebras in Categories with Factorization Systems
Giorgio Bacci
4
On Coalgebraic Logic over Posets
Adriana Balan, Alexander Kurz and Jiří Velebil
6
Coalgebraic Dynamic Quantum Logic
Jort Bergfeld, Kohei Kishida and Sonja Smets
8
Weak Bisimulations for Coalgebras over Ordered Functors
Tomasz Brengos
10
Nondeterminism as First Class Citizen for Hidden Logic
Daniel Gebler and Jörg Endrullis
12
The Ball Monad and Its Metric Trace Semantics in Kleisli Categories
Bart Jacobs and Frank Roumen
15
State-Based Simulation of Linear Course-of-Value Iteration
Baltasar Trancón y Widemann
17
Lindenmayer Systems, Coalgebraically
Baltasar Trancón y Widemann and Joost Winter
19
Reflexive Economics and Categorical, Coalgebraic and Domain Theoretical Modelling
Viktor Winschel
21
Author Index

These short contibutions will not be included in the CMCS 2012 final proceedings in Springer's Lecture Notes in Computer Science.