Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)

Resource Information

The instance Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.) represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540738596&Type=L

Label

Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)

Title remainder

second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings

Statement of responsibility

Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)

Instantiates

• Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings

Publication

• Berlin | New York, Springer, ©2007

Bibliography note

Includes bibliographical references and index

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

multicolored

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

• Front Matter; Regular and Algebraic Words and Ordinals; Logical Semantics of Types for Concurrency; Deriving Bisimulation Congruences with Borrowed Contexts; Symmetry and Concurrency; 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 SpacesStructured Co-spans: An Algebra of Interaction Protocols; Graphical Encoding of a Spatial Logic for the p -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 SpecificationsCIRC : 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; Back Matter

Control code

184924039

Dimensions

unknown

Extent

1 online resource (xi, 461 pages)

Form of item

online

Isbn

9783540738596

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/978-3-540-73859-6

Other physical details

illustrations.

http://library.link/vocab/ext/overdrive/overdriveId

978-3-540-73857-2

Publisher number

12094387

Record ID

.b129988935

Specific material designation

remote

System control number

(OCoLC)184924039