![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
3rd 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.