4. CALCO 2011: Winchester, UK

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

• Jirí Adámek, Mahdieh Haddadi, Stefan Milius:
  From Corecursive Algebras to Corecursive Monads. 55-69
  
• Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer:
  A Categorical Semantics for Inductive-Inductive Definitions. 70-84
  
• Adriana Balan, Alexander Kurz:
  Finitary Functors: From Set to Preord and Poset. 85-99
  
• Jort Bergfeld, Yde Venema:
  Model Constructions for Moss' Coalgebraic Logic. 100-114
  
• 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
  
• Mihai Codescu, Till Mossakowski:
  Refinement Trees: Calculi, Tools, and Applications. 145-160
  
• Fredrik Dahlqvist, Dirk Pattinson:
  On the Fusion of Coalgebraic Logics. 161-175
  
• 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
  
• Sergey Goncharov, Lutz Schröder:
  A Counterexample to Tensorability of Effects. 208-221
  
• 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
  
• Rasmus Ejlers Møgelberg, Sam Staton:
  Linearly-Used State in Models of Call-by-Value. 298-313
  
• Camilo Rocha, José Meseguer:
  Proving Safety Properties of Rewrite Theories. 314-328
  
• 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
  
• Jennifer Lantair, Pawel Sobocinski:
  WiCcA : LTS Generation Tool for Wire Calculus. 407-412
  
• André Martins, Luís Soares Barbosa, Nuno F. Rodrigues:
  Shacc: A Functional Prototyper for a Component Calculus. 413-419
  

Last update Tue May 22 23:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page