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. Springer 2009 Lecture Notes in Computer Science 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
Theory of Coalgebra
- Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova: Coalgebraic Components in a Many-Sorted Microcosm. 64-80
- Clemens Kupke, Raul Andres Leal: Characterising Behavioural Equivalence: Three Sides of One Coin. 97-112
Coinduction
- Conor McBride: Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). 113-126
Bisimulation
- Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Labelled Markov Processes Again! 145-156
- Andrei Popescu: Weak Bisimilarity Coalgebraically. 157-172
- Sam Staton: Relating Coalgebraic Notions of Bisimulation. 191-205
- Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino: Non-strongly Stable Orders Also Define Interesting Simulation Relations. 221-235
Stone Duality
- Mai Gehrke: Stone Duality and the Recognisable Languages over an Algebra. 236-250
Game Theory
- Dusko Pavlovic: A Semantical Approach to Equilibria and Rationality. 317-334
Graph Transformation
- Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Unfolding Grammars in Adhesive Categories. 350-366
Software Development Techniques
- 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
CALCO Tools Workshop
- 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
- Hans Zantema: A Tool Proving Well-Definedness of Streams Using Termination Tools. 449-456
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team