3. CALCO 2009: Udine, Italy

Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (Eds.): Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture Notes in Computer Science 5728 Springer 2009, ISBN 978-3-642-03740-5

Algebraic Effects and Recursive Equations

Gordon D. Plotkin:
Adequacy for Infinitary Algebraic Effects (Abstract). 1-2
Robert Atkey:
Algebras for Parameterised Monads. 3-17
Sergey Goncharov, Lutz Schröder, Till Mossakowski:
Kleene Monads: Handling Iteration in a Framework of Generic Effects. 18-33
Stefan Milius, Thorsten Palm, Daniel Schwencke:
Complete Iterativity for Algebras with Effects. 34-48
Jirí Adámek, Stefan Milius, Jiri Velebil:
Semantics of Higher-Order Recursion Schemes. 49-63

Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova:
Coalgebraic Components in a Many-Sorted Microcosm. 64-80
Christian Kissig, Yde Venema:
Complementation of Coalgebra Automata. 81-96
Clemens Kupke, Raul Andres Leal:
Characterising Behavioural Equivalence: Three Sides of One Coin. 97-112

Conor McBride:
Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). 113-126
Grigore Rosu, Dorel Lucanu:
Circular Coinduction: A Proof Theoretical Foundation. 127-144

Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Labelled Markov Processes Again! 145-156
Andrei Popescu:
Weak Bisimilarity Coalgebraically. 157-172
Filippo Bonchi, Ugo Montanari:
Coalgebraic Symbolic Semantics. 173-190
Sam Staton:
Relating Coalgebraic Notions of Bisimulation. 191-205
Bart Jacobs, Ana Sokolova:
Traces, Executions and Schedulers, Coalgebraically. 206-220
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino:
Non-strongly Stable Orders Also Define Interesting Simulation Relations. 221-235

Mai Gehrke:
Stone Duality and the Recognisable Languages over an Algebra. 236-250
Nick Bezhanishvili, Mai Gehrke:
Free Heyting Algebras: Revisited. 251-266
Hans Bruun, Dion Coumans, Mai Gehrke:
Distributive Lattice-Structured Ontologies. 267-283
M. Andrew Moshier, Daniela Petrisan:
A Duality Theorem for Real C^* Algebras. 284-299

Furio Honsell, Marina Lenisa:
Conway Games, Coalgebraically. 300-316
Dusko Pavlovic:
A Semantical Approach to Equilibria and Rationality. 317-334

Tobias Heindel, Pawel Sobocinski:
Van Kampen Colimits as Bicolimits in Span. 335-349
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski:
Unfolding Grammars in Adhesive Categories. 350-366

Sebastian S. Bauer, Rolf Hennicker:
Views on Behaviour Protocols and Their Semantic Foundation. 367-382
Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig:
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. 383-397
Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata:
Constructor-Based Institutions. 398-412

Giorgio Bacci, Davide Grohmann, Marino Miculan:
DBtk: A Toolkit for Directed Bigraphs. 413-422
Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing:
Constraint-Muse: A Soft-Constraint Based System for Music Therapy. 423-432
Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu:
CIRC: A Behavioral Verification Tool Based on Circular Coinduction. 433-442
Leon Bendiksen, Peter Csaba Ölveczky:
The Priced-Timed Maude Tool. 443-448
Hans Zantema:
A Tool Proving Well-Definedness of Streams Using Termination Tools. 449-456