default search action
5th 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
- Andrej Bauer, Matija Pretnar
:
An Effect System for Algebraic Effects and Handlers. 1-16 - Mikolaj Bojanczyk:
Automata and Algebras for Infinite Words and Trees. 17-18 - Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
Positive Inductive-Recursive Definitions. 19-33 - Damien Pous
Coalgebraic Up-to Techniques. 34-35
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 - Adriana Balan, Alexander Kurz
Positive Fragments of Coalgebraic Logics. 51-65 - Marta Bílková, Matej Dostál:
Many-Valued Relation Lifting and Moss' Coalgebraic Logic. 66-79 - Filippo Bonchi, Fabio Zanasi
Saturated Semantics for Coalgebraic Logic Programming. 80-94 - Marcello M. Bonsangue, Helle Hvid Hansen
Presenting Distributive Laws. 95-109 - Vincenzo Ciancia
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. 110-125 - Sebastian Enqvist:
Homomorphisms of Coalgebras from Predicate Liftings. 126-140 - Robert Furber
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. 141-157 - Sergey Goncharov:
Trace Semantics via Generic Observations. 158-174 - Tom Hirschowitz
Full Abstraction for Fair Testing in CCS. 175-190 - Pierre Lescanne:
A Simple Case of Rationality of Escalation. 191-204 - Daniel Marsden:
Coalgebras with Symmetries and Modelling Quantum Systems. 205-219 - Yoshihiro Maruyama:
From Operational Chu Duality to Coalgebraic Quantum Symmetry. 220-235 - Andrei Popescu, Johannes Hölzl
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. 236-252 - Daniel Gorín, Lutz Schröder
Simulations and Bisimulations for Coalgebraic Modal Logics. 253-266 - Alexandra Silva, Bram Westerbaan:
A Coalgebraic View of ε-Transitions. 267-281 - Pawel Sobocinski:
Nets, Relations and Linking Diagrams. 282-298 - Ionut Tutu, José Luiz Fiadeiro:
A Logic-Programming Semantics of Services. 299-313
CALCO-Tools Workshop
- Lutz Schröder:
Preface to CALCO-Tools. 314 - Mihai Codescu, Till Mossakowski
Checking Conservativity with Hets. 315-321 - Muhammad Fadlisyah, Peter Csaba Ölveczky:
The HI-Maude Tool. 322-327 - Daniel Gâinâ, Min Zhang
Constructor-Based Inductive Theorem Prover. 328-333 - Daniela Lepri, Erika Ábrahám
A Timed CTL Model Checker for Real-Time Maude. 334-339 - Renato Neves
Hybridisation at Work. 340-345 - Pawel Sobocinski, Owen Stephens:
Penrose: Putting Compositionality to Work for Petri Net Reachability. 346-352 - Joost Winter:
QStream: A Suite of Streams. 353-358
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 2024-12-19 22:19 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: