This book constitutes the refereed proceedings of the Second International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007, held in Bergen, Norway in August 2007.
The 26 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 57 submissions. Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification.
Author(s): S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
Series: Lecture Notes in Computer Science 4624
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 463
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Symbolic and Algebraic Manipulation
Front Matter....Pages -
Regular and Algebraic Words and Ordinals....Pages 1-15
Logical Semantics of Types for Concurrency....Pages 16-35
Deriving Bisimulation Congruences with Borrowed Contexts....Pages 36-39
Symmetry and Concurrency....Pages 40-64
Ready to Preorder: Get Your BCCSP Axiomatization for Free!....Pages 65-79
Impossibility Results for the Equational Theory of Timed CCS....Pages 80-95
Conceptual Data Modeling with Constraints in Maude....Pages 96-110
Datatypes in Memory....Pages 111-125
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets....Pages 126-142
Free Modal Algebras: A Coalgebraic Perspective....Pages 143-157
Coalgebraic Epistemic Update Without Change of Model....Pages 158-172
The Maude Formal Tool Environment....Pages 173-178
Bifinite Chu Spaces....Pages 179-193
Structured Co-spans: An Algebra of Interaction Protocols....Pages 194-208
Graphical Encoding of a Spatial Logic for the π -Calculus....Pages 209-225
Higher Dimensional Trees, Algebraically....Pages 226-241
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines....Pages 242-256
Parametric (Co)Iteration vs. Primitive Direcursion....Pages 257-278
Bisimulation for Neighbourhood Structures....Pages 279-293
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors....Pages 294-311
Quasitoposes, Quasiadhesive Categories and Artin Glueing....Pages 312-326
Applications of Metric Coinduction....Pages 327-341
The Goldblatt-Thomason Theorem for Coalgebras....Pages 342-355
Specification-Based Testing for CoCasl ’s Modal Specifications....Pages 356-371
CIRC : A Circular Coinductive Prover....Pages 372-378
Observing Distributed Computation. A Dynamic-Epistemic Approach....Pages 379-393
Nabla Algebras and Chu Spaces....Pages 394-408
An Institutional Version of Gödel’s Completeness Theorem....Pages 409-424
Coalgebraic Foundations of Linear Systems....Pages 425-446
Bootstrapping Types and Cotypes in HasCASL ....Pages 447-461
Back Matter....Pages -
