Algebra and Coalgebra in Computer Science [[electronic resource] ] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings / / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
• Edizione: 1st ed. 2007.
• Descrizione fisica: 1 online resource (XI, 463 p.)
• Disciplina: 004.0151
• Soggetto topico: 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
• Persona (resp. second.): MossakowskiTill; MontanariU (Ugo); HaveraaenMagne
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Algebra and Coalgebra in Computer Science
• ISBN: 3-540-73859-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465409203316
• Lo trovi qui: Univ. di Salerno
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 4624