4. CALCO 2011: Winchester, UK
Andrea Corradini, Bartek Klin, Corina Cîrstea (Eds.): Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-22943-5
Invited Talks
- Giorgio Bacci, Vincent Danos, Ohad Kammar: On the Statistical Thermodynamics of Reversible Communicating Processes. 1-18
- Javier Esparza, Michael Luttenberger: Solving Fixed-Point Equations by Derivation Tree Analysis. 19-35
- Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse: Abstract Local Reasoning for Program Modules. 36-39
- Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak: Infinite Computation, Co-induction and Computational Logic. 40-54
Contributed Papers
- Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer: A Categorical Semantics for Inductive-Inductive Definitions. 70-84
- Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil: Relation Liftings on Preorders and Posets. 115-129
- Corina Cîrstea: Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. 130-144
- Clément Fumex, Neil Ghani, Patricia Johann: Indexed Induction and Coinduction, Fibrationally. 176-191
- Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan: Stone Duality for Nominal Boolean Algebras with И. 192-207
- Ichiro Hasuo: The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. 222-236
- Bart Jacobs: Bases as Coalgebras. 237-252
- Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita: A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. 253-267
- Ekaterina Komendantskaya, John Power: Coalgebraic Semantics for Derivations in Logic Programming. 268-282
- Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa: Hybridization of Institutions. 283-297
- Katsuhiko Sano: Generalized Product of Coalgebraic Hybrid Logics. 329-343
- Baltasar Trancón-y-Widemann, Michael Hauhs: Distributive-Law Semantics for Cellular Automata and Agent-Based Models. 344-358
- Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten: Context-Free Languages, Coalgebraically. 359-376
CALCO Tools Workshop
- Dorel Lucanu: Preface to CALCO-Tools. 377
- Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir: PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. 378-385
- Musab AlTurki, José Meseguer: PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. 386-392
- Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger: Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. 393-399
- Francisco Durán, Camilo Rocha, José M. Álvarez: Tool Interoperability in the Maude Formal Environment. 400-406
- André Martins, Luís Soares Barbosa, Nuno F. Rodrigues: Shacc: A Functional Prototyper for a Component Calculus. 413-419
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team