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