2. CALCO 2007: Bergen, Norway
Till Mossakowski, Ugo Montanari, Magne Haveraaen (Eds.): Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-73857-2
Invited Talks
- 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
- Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. 126-142
- Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. 173-178
- 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
- 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
- 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
- Delphine Longuet, Marc Aiguier: Specification-Based Testing for CoCasl's Modal Specifications. 356-371
- Radu Mardare: Observing Distributed Computation. A Dynamic-Epistemic Approach. 379-393
- 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
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