ask others

5. CALCO 2013: Warsaw, Poland

> Home > Conferences and Workshops > CALCO

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/2013
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/2013
Reiko Heckel, Stefan Milius:
Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Lecture Notes in Computer Science 8089, Springer 2013, ISBN 978-3-642-40205-0

Invited Talks

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/BauerP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/BauerP13
Andrej Bauer, Matija Pretnar:
An Effect System for Algebraic Effects and Handlers. 1-16
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Bojanczyk13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Bojanczyk13
Mikolaj Bojanczyk:
Automata and Algebras for Infinite Words and Trees. 17-18
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/GhaniMF13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/GhaniMF13
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg:
Positive Inductive-Recursive Definitions. 19-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Pous13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Pous13
Damien Pous:
Coalgebraic Up-to Techniques. 34-35

Contributed Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/AcetoGIMR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/AcetoGIMR13
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. 36-50
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/BalanKV13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/BalanKV13
Adriana Balan, Alexander Kurz, Jiri Velebil:
Positive Fragments of Coalgebraic Logics. 51-65
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/BilkovaD13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/BilkovaD13
Marta Bílková, Matej Dostál:
Many-Valued Relation Lifting and Moss' Coalgebraic Logic. 66-79
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/BonchiZ13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/BonchiZ13
Filippo Bonchi, Fabio Zanasi:
Saturated Semantics for Coalgebraic Logic Programming. 80-94
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/BonsangueHKR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/BonsangueHKR13
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot:
Presenting Distributive Laws. 95-109
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Ciancia13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Ciancia13
Vincenzo Ciancia:
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. 110-125
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Enqvist13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Enqvist13
Sebastian Enqvist:
Homomorphisms of Coalgebras from Predicate Liftings. 126-140
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/FurberJ13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/FurberJ13
Robert Furber, Bart Jacobs:
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. 141-157
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Goncharov13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Goncharov13
Sergey Goncharov:
Trace Semantics via Generic Observations. 158-174
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Hirschowitz13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Hirschowitz13
Tom Hirschowitz:
Full Abstraction for Fair Testing in CCS. 175-190
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Lescanne13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Lescanne13
Pierre Lescanne:
A Simple Case of Rationality of Escalation. 191-204
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Marsden13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Marsden13
Daniel Marsden:
Coalgebras with Symmetries and Modelling Quantum Systems. 205-219
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Maruyama13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Maruyama13
Yoshihiro Maruyama:
From Operational Chu Duality to Coalgebraic Quantum Symmetry. 220-235
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/0001HN13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/0001HN13
Andrei Popescu, Johannes Hölzl, Tobias Nipkow:
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. 236-252
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/GorinS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/GorinS13
Daniel Gorín, Lutz Schröder:
Simulations and Bisimulations for Coalgebraic Modal Logics. 253-266
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/SilvaW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/SilvaW13
Alexandra Silva, Bram Westerbaan:
A Coalgebraic View of ε-Transitions. 267-281
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Sobocinski13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Sobocinski13
Pawel Sobocinski:
Nets, Relations and Linking Diagrams. 282-298
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/TutuF13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/TutuF13
Ionut Tutu, José Luiz Fiadeiro:
A Logic-Programming Semantics of Services. 299-313

CALCO-Tools Workshop

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Schroder13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Schroder13
Lutz Schröder:
Preface to CALCO-Tools. 314
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/CodescuMM13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/CodescuMM13
Mihai Codescu, Till Mossakowski, Christian Maeder:
Checking Conservativity with Hets. 315-321
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/FadlisyahO13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/FadlisyahO13
Muhammad Fadlisyah, Peter Csaba Ölveczky:
The HI-Maude Tool. 322-327
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/GainaZCA13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/GainaZCA13
Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto:
Constructor-Based Inductive Theorem Prover. 328-333
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/LepriAO13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/LepriAO13
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
A Timed CTL Model Checker for Real-Time Maude. 334-339
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/NevesMMB13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/NevesMMB13
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. 340-345
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/SobocinskiS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/SobocinskiS13
Pawel Sobocinski, Owen Stephens:
Penrose: Putting Compositionality to Work for Petri Net Reachability. 346-352
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/Winter13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/Winter13
Joost Winter:
QStream: A Suite of Streams. 353-358

maintained by

, founded at