Franklin

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.

Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Format/Description:
Book
1 online resource (XI, 463 pages)
Edition:
1st ed. 2007.
Series:
Computer Science (Springer-11645)
LNCS sublibrary. Theoretical computer science and general issues SL 1, 4624
Theoretical Computer Science and General Issues ; 4624
Contained In:
Springer eBooks
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Subjects:
Computers.
Computer logic.
Logic, Symbolic and mathematical.
Software engineering.
Computer science-Mathematics.
Local subjects:
Theory of Computation. (search)
Logics and Meanings of Programs. (search)
Mathematical Logic and Formal Languages. (search)
Software Engineering. (search)
Symbolic and Algebraic Manipulation. (search)
System Details:
text file PDF
Contents:
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.
Contributor:
Mossakowski, Till, editor., Editor,
Montanari, Ugo, editor., Editor,
Haveraaen, Magne, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-540-73859-6
9783540738596
Publisher Number:
10.1007/978-3-540-73859-6 doi
Access Restriction:
Restricted for use by site license.