5. CALCO 2013: Warsaw, Poland
- 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
- Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg:
Positive Inductive-Recursive Definitions. 19-33
Contributed Papers
- Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. 36-50 - Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot:
Presenting Distributive Laws. 95-109 - Vincenzo Ciancia:
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. 110-125 - Robert Furber, Bart Jacobs:
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. 141-157 - Andrei Popescu, Johannes Hölzl, Tobias Nipkow:
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. 236-252
CALCO-Tools Workshop
- Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto:
Constructor-Based Inductive Theorem Prover. 328-333 - Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
A Timed CTL Model Checker for Real-Time Maude. 334-339 - Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. 340-345 - Pawel Sobocinski, Owen Stephens:
Penrose: Putting Compositionality to Work for Petri Net Reachability. 346-352