The Resource Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
Resource Information
The item Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary
 This book constitutes the refereed proceedings of the Second International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007, held in Bergen, Norway in August 2007. The 26 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 57 submissions. Addressing two basic areas of application for algebras and coalgebras  as mathematical objects as well as their application in computer science  the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system spec
 Language
 eng
 Extent
 1 online resource (xi, 461 pages)
 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 BehaviourPreserving 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 Cospans: An Algebra of Interaction Protocols; Graphical Encoding of a Spatial Logic for the p Calculus; Higher Dimensional Trees, Algebraically; A Semantic Characterization of UnboundedNondeterministic Abstract State Machines; Parametric (Co)Iteration vs. Primitive Direcursion; Bisimulation for Neighbourhood Structures; Algebraic Models of Simultaneous Multithreaded and Multicore Processors; Quasitoposes, Quasiadhesive Categories and Artin Glueing; Applications of Metric Coinduction; The GoldblattThomason Theorem for Coalgebras
 SpecificationBased Testing for CoCasl 's Modal SpecificationsCIRC : A Circular Coinductive Prover; Observing Distributed Computation. A DynamicEpistemic 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
 Isbn
 9783540738572
 Label
 Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings
 Title
 Algebra and coalgebra in computer science
 Title remainder
 second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings
 Statement of responsibility
 Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
 Title variation
 CALCO 2007
 Language
 eng
 Summary
 This book constitutes the refereed proceedings of the Second International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007, held in Bergen, Norway in August 2007. The 26 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 57 submissions. Addressing two basic areas of application for algebras and coalgebras  as mathematical objects as well as their application in computer science  the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system spec
 Cataloging source
 GW5XE
 Dewey number
 004.01/51
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA76.9.M35
 LC item number
 C33 2007eb
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 2007
 http://bibfra.me/vocab/lite/meetingName
 CALCO (Conference)
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorName

 Mossakowski, Till
 Montanari, U.
 Haveraaen, Magne
 Series statement

 Lecture notes in computer science,
 LNCS sublibrary. SL 1, Theoretical computer science and general issues
 Series volume
 4624
 http://library.link/vocab/subjectName

 Computer science
 Algebra
 Algebra
 Computer science
 Informatique
 Algebra
 Computer science
 Label
 Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
 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 BehaviourPreserving 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 Cospans: An Algebra of Interaction Protocols; Graphical Encoding of a Spatial Logic for the p Calculus; Higher Dimensional Trees, Algebraically; A Semantic Characterization of UnboundedNondeterministic Abstract State Machines; Parametric (Co)Iteration vs. Primitive Direcursion; Bisimulation for Neighbourhood Structures; Algebraic Models of Simultaneous Multithreaded and Multicore Processors; Quasitoposes, Quasiadhesive Categories and Artin Glueing; Applications of Metric Coinduction; The GoldblattThomason Theorem for Coalgebras
 SpecificationBased Testing for CoCasl 's Modal SpecificationsCIRC : A Circular Coinductive Prover; Observing Distributed Computation. A DynamicEpistemic 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
 9783540738572
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783540738596
 Other physical details
 illustrations.
 http://library.link/vocab/ext/overdrive/overdriveId
 9783540738572
 Publisher number
 12094387
 Specific material designation
 remote
 System control number
 (OCoLC)184924039
 Label
 Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
 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 BehaviourPreserving 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 Cospans: An Algebra of Interaction Protocols; Graphical Encoding of a Spatial Logic for the p Calculus; Higher Dimensional Trees, Algebraically; A Semantic Characterization of UnboundedNondeterministic Abstract State Machines; Parametric (Co)Iteration vs. Primitive Direcursion; Bisimulation for Neighbourhood Structures; Algebraic Models of Simultaneous Multithreaded and Multicore Processors; Quasitoposes, Quasiadhesive Categories and Artin Glueing; Applications of Metric Coinduction; The GoldblattThomason Theorem for Coalgebras
 SpecificationBased Testing for CoCasl 's Modal SpecificationsCIRC : A Circular Coinductive Prover; Observing Distributed Computation. A DynamicEpistemic 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
 9783540738572
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783540738596
 Other physical details
 illustrations.
 http://library.link/vocab/ext/overdrive/overdriveId
 9783540738572
 Publisher number
 12094387
 Specific material designation
 remote
 System control number
 (OCoLC)184924039
Subject
 Algebra
 Algebra
 Algebra  Congresses
 Computer science  Mathematics
 Computer science  Mathematics
 Computer science  Mathematics
 Computer science  Mathematics  Congresses
 Conference papers and proceedings
 Conference papers and proceedings
 Informatique
 Algebra
Genre
Member of
 Lecture notes in computer science, 4624
 LNCS sublibrary, SL 1, Theoretical computer science and general issues
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Algebraandcoalgebraincomputerscience/4I6xZqnJakk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Algebraandcoalgebraincomputerscience/4I6xZqnJakk/">Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Algebraandcoalgebraincomputerscience/4I6xZqnJakk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Algebraandcoalgebraincomputerscience/4I6xZqnJakk/">Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 2024, 2007 : proceedings, Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>