2. CALCO 2007: Bergen, Norway

Invited Talks

• Stephen L. Bloom, Zoltán Ésik:
  Regular and Algebraic Words and Ordinals. 1-15
  
• Luís Caires:
  Logical Semantics of Types for Concurrency. 16-35
  
• Barbara König:
  Deriving Bisimulation Congruences with Borrowed Contexts. 36-39
  
• Glynn Winskel:
  Symmetry and Concurrency. 40-64
  

Contributed Papers

• Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir:
  Ready to Preorder: Get Your BCCSP Axiomatization for Free! 65-79
  
• Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
  Impossibility Results for the Equational Theory of Timed CCS. 80-95
  
• Scott Alexander:
  Conceptual Data Modeling with Constraints in Maude. 96-110
  
• David Aspinall, Piotr Hoffman:
  Datatypes in Memory. 111-125
  
• Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
  Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. 126-142
  
• Nick Bezhanishvili, Alexander Kurz:
  Free Modal Algebras: A Coalgebraic Perspective. 143-157
  
• Corina Cîrstea, Mehrnoosh Sadrzadeh:
  Coalgebraic Epistemic Update Without Change of Model. 158-172
  
• Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky:
  The Maude Formal Tool Environment. 173-178
  
• Manfred Droste, Guo-Qiang Zhang:
  Bifinite Chu Spaces. 179-193
  
• José Luiz Fiadeiro, Vincent Schmitt:
  Structured Co-spans: An Algebra of Interaction Protocols. 194-208
  
• Fabio Gadducci, Alberto Lluch-Lafuente:
  Graphical Encoding of a Spatial Logic for the pi -Calculus. 209-225
  
• Neil Ghani, Alexander Kurz:
  Higher Dimensional Trees, Algebraically. 226-241
  
• Andreas Glausch, Wolfgang Reisig:
  A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. 242-256
  
• Johan Glimming:
  Parametric (Co)Iteration vs. Primitive Direcursion. 257-278
  
• Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
  Bisimulation for Neighbourhood Structures. 279-293
  
• Neal A. Harman:
  Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. 294-311
  
• Peter T. Johnstone, Stephen Lack, Pawel Sobocinski:
  Quasitoposes, Quasiadhesive Categories and Artin Glueing. 312-326
  
• Dexter Kozen, Nicholas Ruozzi:
  Applications of Metric Coinduction. 327-341
  
• Alexander Kurz, Jirí Rosický:
  The Goldblatt-Thomason Theorem for Coalgebras. 342-355
  
• Delphine Longuet, Marc Aiguier:
  Specification-Based Testing for CoCasl's Modal Specifications. 356-371
  
• Dorel Lucanu, Grigore Rosu:
  CIRC : A Circular Coinductive Prover. 372-378
  
• Radu Mardare:
  Observing Distributed Computation. A Dynamic-Epistemic Approach. 379-393
  
• Alessandra Palmigiano, Yde Venema:
  Nabla Algebras and Chu Spaces. 394-408
  
• Marius Petria:
  An Institutional Version of Gödel's Completeness Theorem. 409-424
  
• Jan J. M. M. Rutten:
  Coalgebraic Foundations of Linear Systems. 425-446
  
• Lutz Schröder:
  Bootstrapping Types and Cotypes in HasCASL. 447-461