default search action

combined dblp search
author search
venue search
publication search

ask others

3rd CALCO 2009: Udine, Italy

> Home > Conferences and Workshops > CALCO

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/calco/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/2009
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

- view
  authority control:
- export record
  dblp key:
  - conf/calco/Plotkin09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Plotkin09
Gordon D. Plotkin:
Adequacy for Infinitary Algebraic Effects (Abstract). 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Atkey09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Atkey09
Robert Atkey:
Algebras for Parameterised Monads. 3-17
- view
  authority control:
- export record
  dblp key:
  - conf/calco/GoncharovSM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/GoncharovSM09
Sergey Goncharov, Lutz Schröder, Till Mossakowski:
Kleene Monads: Handling Iteration in a Framework of Generic Effects. 18-33
- view
  authority control:
- export record
  dblp key:
  - conf/calco/MiliusPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/MiliusPS09
Stefan Milius, Thorsten Palm, Daniel Schwencke:
Complete Iterativity for Algebras with Effects. 34-48
- view
  authority control:
- export record
  dblp key:
  - conf/calco/AdamekMV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/AdamekMV09
Jirí Adámek, Stefan Milius, Jirí Velebil:
Semantics of Higher-Order Recursion Schemes. 49-63

Theory of Coalgebra

- view
  authority control:
- export record
  dblp key:
  - conf/calco/HasuoHJS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/HasuoHJS09
Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova:
Coalgebraic Components in a Many-Sorted Microcosm. 64-80
- view
  authority control:
- export record
  dblp key:
  - conf/calco/KissigV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/KissigV09
Christian Kissig, Yde Venema:
Complementation of Coalgebra Automata. 81-96
- view
  authority control:
- export record
  dblp key:
  - conf/calco/KupkeL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/KupkeL09
Clemens Kupke, Raul Andres Leal:
Characterising Behavioural Equivalence: Three Sides of One Coin. 97-112

Coinduction

- view
  authority control:
- export record
  dblp key:
  - conf/calco/McBride09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/McBride09
Conor McBride:
Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). 113-126
- view
  authority control:
- export record
  dblp key:
  - conf/calco/RosuL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/RosuL09
Grigore Rosu, Dorel Lucanu:
Circular Coinduction: A Proof Theoretical Foundation. 127-144

Bisimulation

- view
  authority control:
- export record
  dblp key:
  - conf/calco/ChaputDPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/ChaputDPP09
Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Labelled Markov Processes Again! 145-156
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Popescu09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Popescu09
Andrei Popescu:
Weak Bisimilarity Coalgebraically. 157-172
- view
  authority control:
- export record
  dblp key:
  - conf/calco/BonchiM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BonchiM09
Filippo Bonchi, Ugo Montanari:
Coalgebraic Symbolic Semantics. 173-190
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Staton09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Staton09
Sam Staton:
Relating Coalgebraic Notions of Bisimulation. 191-205
- view
  authority control:
- export record
  dblp key:
  - conf/calco/JacobsS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/JacobsS09
Bart Jacobs, Ana Sokolova:
Traces, Executions and Schedulers, Coalgebraically. 206-220
- view
  authority control:
- export record
  dblp key:
  - conf/calco/FabregasFP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/FabregasFP09
Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino:
Non-strongly Stable Orders Also Define Interesting Simulation Relations. 221-235

Stone Duality

- view
  authority control:
- export record
  dblp key:
  - conf/calco/Gehrke09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Gehrke09
Mai Gehrke:
Stone Duality and the Recognisable Languages over an Algebra. 236-250
- view
  authority control:
- export record
  dblp key:
  - conf/calco/BezhanishviliG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BezhanishviliG09
Nick Bezhanishvili, Mai Gehrke:
Free Heyting Algebras: Revisited. 251-266
- view
  authority control:
- export record
  dblp key:
  - conf/calco/BruunCG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BruunCG09
Hans Bruun, Dion Coumans, Mai Gehrke:
Distributive Lattice-Structured Ontologies. 267-283
- view
  authority control:
- export record
  dblp key:
  - conf/calco/MoshierP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/MoshierP09
M. Andrew Moshier, Daniela Petrisan:
A Duality Theorem for Real C^* Algebras. 284-299

Game Theory

- view
  authority control:
- export record
  dblp key:
  - conf/calco/HonsellL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/HonsellL09
Furio Honsell, Marina Lenisa:
Conway Games, Coalgebraically. 300-316
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Pavlovic09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Pavlovic09
Dusko Pavlovic:
A Semantical Approach to Equilibria and Rationality. 317-334

Graph Transformation

- view
  authority control:
- export record
  dblp key:
  - conf/calco/HeindelS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/HeindelS09
Tobias Heindel, Pawel Sobocinski:
Van Kampen Colimits as Bicolimits in Span. 335-349
- view
  authority control:
- export record
  dblp key:
  - conf/calco/BaldanCHKS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BaldanCHKS09
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski:
Unfolding Grammars in Adhesive Categories. 350-366

Software Development Techniques

- view
  authority control:
- export record
  dblp key:
  - conf/calco/BauerH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BauerH09
Sebastian S. Bauer, Rolf Hennicker:
Views on Behaviour Protocols and Their Semantic Foundation. 367-382
- view
  authority control:
- export record
  dblp key:
  - conf/calco/OrejasGLE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/OrejasGLE09
Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig:
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. 383-397
- view
  authority control:
- export record
  dblp key:
  - conf/calco/GainaFO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/GainaFO09
Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata:
Constructor-Based Institutions. 398-412

CALCO Tools Workshop

- view
  authority control:
- export record
  dblp key:
  - conf/calco/BacciGM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BacciGM09
Giorgio Bacci, Davide Grohmann, Marino Miculan:
DBtk: A Toolkit for Directed Bigraphs. 413-422
- view
  authority control:
- export record
  dblp key:
  - conf/calco/HolzlDMW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/HolzlDMW09
Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing:
Constraint-Muse: A Soft-Constraint Based System for Music Therapy. 423-432
- view
  authority control:
- export record
  dblp key:
  - conf/calco/LucanuGCR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/LucanuGCR09
Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu:
CIRC: A Behavioral Verification Tool Based on Circular Coinduction. 433-442
- view
  authority control:
- export record
  dblp key:
  - conf/calco/BendiksenO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BendiksenO09
Leon Bendiksen, Peter Csaba Ölveczky:
The Priced-Timed Maude Tool. 443-448
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Zantema09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Zantema09
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.