Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings / [electronic resource] :
edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen.
- 1st ed. 2007.
- XI, 463 p. online resource.
- Theoretical Computer Science and General Issues, 4624 2512-2029 ; .
- Theoretical Computer Science and General Issues, 4624 .
Invited Talks -- Regular and Algebraic Words and Ordinals -- Logical Semantics of Types for Concurrency -- Deriving Bisimulation Congruences with Borrowed Contexts -- Symmetry and Concurrency -- Contributed Papers -- Ready to Preorder: Get Your BCCSP Axiomatization for Free! -- Impossibility Results for the Equational Theory of Timed CCS -- Conceptual Data Modeling with Constraints in Maude -- Datatypes in Memory -- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets -- Free Modal Algebras: A Coalgebraic Perspective -- Coalgebraic Epistemic Update Without Change of Model -- The Maude Formal Tool Environment -- Bifinite Chu Spaces -- Structured Co-spans: An Algebra of Interaction Protocols -- Graphical Encoding of a Spatial Logic for the ?-Calculus -- Higher Dimensional Trees, Algebraically -- A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines -- Parametric (Co)Iteration vs. Primitive Direcursion -- Bisimulation for Neighbourhood Structures -- Algebraic Models of Simultaneous Multithreaded and Multi-core Processors -- Quasitoposes, Quasiadhesive Categories and Artin Glueing -- Applications of Metric Coinduction -- The Goldblatt-Thomason Theorem for Coalgebras -- Specification-Based Testing for CoCasl's Modal Specifications -- CIRC: A Circular Coinductive Prover -- Observing Distributed Computation. A Dynamic-Epistemic Approach -- Nabla Algebras and Chu Spaces -- An Institutional Version of Gödel's Completeness Theorem -- Coalgebraic Foundations of Linear Systems -- Bootstrapping Types and Cotypes in HasCASL.
9783540738596
10.1007/978-3-540-73859-6 doi
Computer science.
Machine theory.
Software engineering.
Computer science--Mathematics.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Software Engineering.
Symbolic and Algebraic Manipulation.
QA75.5-76.95
004.0151
Invited Talks -- Regular and Algebraic Words and Ordinals -- Logical Semantics of Types for Concurrency -- Deriving Bisimulation Congruences with Borrowed Contexts -- Symmetry and Concurrency -- Contributed Papers -- Ready to Preorder: Get Your BCCSP Axiomatization for Free! -- Impossibility Results for the Equational Theory of Timed CCS -- Conceptual Data Modeling with Constraints in Maude -- Datatypes in Memory -- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets -- Free Modal Algebras: A Coalgebraic Perspective -- Coalgebraic Epistemic Update Without Change of Model -- The Maude Formal Tool Environment -- Bifinite Chu Spaces -- Structured Co-spans: An Algebra of Interaction Protocols -- Graphical Encoding of a Spatial Logic for the ?-Calculus -- Higher Dimensional Trees, Algebraically -- A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines -- Parametric (Co)Iteration vs. Primitive Direcursion -- Bisimulation for Neighbourhood Structures -- Algebraic Models of Simultaneous Multithreaded and Multi-core Processors -- Quasitoposes, Quasiadhesive Categories and Artin Glueing -- Applications of Metric Coinduction -- The Goldblatt-Thomason Theorem for Coalgebras -- Specification-Based Testing for CoCasl's Modal Specifications -- CIRC: A Circular Coinductive Prover -- Observing Distributed Computation. A Dynamic-Epistemic Approach -- Nabla Algebras and Chu Spaces -- An Institutional Version of Gödel's Completeness Theorem -- Coalgebraic Foundations of Linear Systems -- Bootstrapping Types and Cotypes in HasCASL.
9783540738596
10.1007/978-3-540-73859-6 doi
Computer science.
Machine theory.
Software engineering.
Computer science--Mathematics.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Software Engineering.
Symbolic and Algebraic Manipulation.
QA75.5-76.95
004.0151