default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th 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, Jirí Velebil:
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, Alexander Kurz, Jurriaan Rot:
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, Bart Jacobs:
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, Tobias Nipkow:
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, Christian Maeder:
Checking Conservativity with Hets. 315-321 - Muhammad Fadlisyah, Peter Csaba Ölveczky:
The HI-Maude Tool. 322-327 - 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 - 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-10-18 19:35 CEST 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:
