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 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540738596 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-73859-6  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Machine theory.<br/>Software engineering.<br/>Computer science--Mathematics.<br/>Theory of Computation.<br/>Computer Science Logic and Foundations of Programming.<br/>Formal Languages and Automata Theory.<br/>Software Engineering.<br/>Symbolic and Algebraic Manipulation.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151