default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd CALCO 2009: Udine, Italy
- Alexander Kurz, Marina Lenisa, Andrzej Tarlecki:
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, Jirí 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-16 23:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
