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

Theory of Coalgebra

• 
  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

Coinduction

• 
  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

Bisimulation

• 
  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

Stone Duality

• 
  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

Game Theory

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

Graph Transformation

• 
  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

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
• 
  Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata: Constructor-Based Institutions. 398-412

CALCO Tools Workshop

• 
  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

last updated on Sat May 18 04:43:00 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page