Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings, edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten, (electronic resource)
Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings, edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten, (electronic resource)
Resource Information
The item Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings, edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings, edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. The biennial conference was created by joining the International Workshop on Coalgebraic Methods in Computer Science (CMCS) and the Workshop on Algebraic Development Techniques (WADT). It addresses two basic areas of application for algebras and coalgebras – as mathematical objects as well as their application in computer science. The 25 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 62 submissions. The papers deal with the following subjects: automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coinductive methods; modal logics; relational systems and term rewriting; abstract data types; algebraic and coalgebraic specification; calculi and models of concurrent, distributed, mobile, and contextaware computing; formal testing and quality assurance; general systems theory and computational models (chemical, biological, etc); generative programming and modeldriven development; models, correctness and (re)configuration of hardware/middleware/architectures; reengineering techniques (program transformation); semantics of conceptual modelling methods and techniques; semantics of programming languages; validation and verification
 Language
 eng
 Extent
 XI, 457 p. Also available online.
 Contents

 Invited Talks
 Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
 Labels from Reductions: Towards a General Theory
 Adequacy for Algebraic Effects with State
 Contributed Papers
 Bisimilarity Is Not Finitely Based over BPA with Interrupt
 Algebra ? Coalgebra = Presheaves
 Strong Splitting Bisimulation Equivalence
 Complete Axioms for Stateless Connectors
 On the Semantics of Coinductive Types in MartinLöf Type Theory
 Look: Simple Stochastic Relations Are Just, Well, Simple
 Modelling Fusion Calculus using HDAutomata
 An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL
 Using Proofs by Coinduction to Find “Traditional” Proofs
 From TCoalgebras to Filter Structures and Transition Systems
 ContextFree Languages via Coalgebraic Trace Semantics
 Towards a Coalgebraic Semantics of the Ambient Calculus
 The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic
 Ultrafilter Extensions for Coalgebras
 Equational Logic of Recursive Program Schemes
 The Category Theoretic Solution of Recursive Program Schemes
 A Categorical Approach to Simulations
 Behavioral Extensions of Institutions
 Discrete Lawvere Theories
 Final Semantics for EventPattern Reactive Programs
 Complete Symbolic Reachability Analysis Using BackandForth Narrowing
 Final Sequences and Final Coalgebras for Measurable Spaces
 Bireachability and Final Multialgebras
 Parametrized Exceptions
 Property Preserving Redesign of Specifications
 Isbn
 9783540318767
 Label
 Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings
 Title
 Algebra and Coalgebra in Computer Science
 Title remainder
 First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings
 Statement of responsibility
 edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten
 Subject

 Algebra  Data processing
 Software engineering
 Computer science
 Computer science
 Software engineering
 Software Engineering
 Logic design
 Mathematical Logic and Formal Languages
 Computer Science
 Computer Science
 Electronic resources
 Software Engineering
 Algebra  Data processing
 Software engineering
 Logics and Meanings of Programs
 Software Engineering
 Logic design
 Computer Science
 Computer science
 Symbolic and Algebraic Manipulation
 Language
 eng
 Summary
 This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. The biennial conference was created by joining the International Workshop on Coalgebraic Methods in Computer Science (CMCS) and the Workshop on Algebraic Development Techniques (WADT). It addresses two basic areas of application for algebras and coalgebras – as mathematical objects as well as their application in computer science. The 25 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 62 submissions. The papers deal with the following subjects: automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coinductive methods; modal logics; relational systems and term rewriting; abstract data types; algebraic and coalgebraic specification; calculi and models of concurrent, distributed, mobile, and contextaware computing; formal testing and quality assurance; general systems theory and computational models (chemical, biological, etc); generative programming and modeldriven development; models, correctness and (re)configuration of hardware/middleware/architectures; reengineering techniques (program transformation); semantics of conceptual modelling methods and techniques; semantics of programming languages; validation and verification
 http://library.link/vocab/creatorName
 Fiadeiro, José Luiz
 Image bit depth
 0
 LC call number

 QA76.9.L63
 QA76.5913
 QA76.63
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName

 Harman, Neil.
 Roggenbach, Markus.
 Rutten, Jan.
 SpringerLink
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 3629
 http://library.link/vocab/subjectName

 Computer science
 Software engineering
 Logic design
 Algebra
 Computer Science
 Logics and Meanings of Programs
 Mathematical Logic and Formal Languages
 Software Engineering
 Symbolic and Algebraic Manipulation
 Label
 Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings, edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Invited Talks  Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories  Labels from Reductions: Towards a General Theory  Adequacy for Algebraic Effects with State  Contributed Papers  Bisimilarity Is Not Finitely Based over BPA with Interrupt  Algebra ? Coalgebra = Presheaves  Strong Splitting Bisimulation Equivalence  Complete Axioms for Stateless Connectors  On the Semantics of Coinductive Types in MartinLöf Type Theory  Look: Simple Stochastic Relations Are Just, Well, Simple  Modelling Fusion Calculus using HDAutomata  An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL  Using Proofs by Coinduction to Find “Traditional” Proofs  From TCoalgebras to Filter Structures and Transition Systems  ContextFree Languages via Coalgebraic Trace Semantics  Towards a Coalgebraic Semantics of the Ambient Calculus  The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic  Ultrafilter Extensions for Coalgebras  Equational Logic of Recursive Program Schemes  The Category Theoretic Solution of Recursive Program Schemes  A Categorical Approach to Simulations  Behavioral Extensions of Institutions  Discrete Lawvere Theories  Final Semantics for EventPattern Reactive Programs  Complete Symbolic Reachability Analysis Using BackandForth Narrowing  Final Sequences and Final Coalgebras for Measurable Spaces  Bireachability and Final Multialgebras  Parametrized Exceptions  Property Preserving Redesign of Specifications
 Dimensions
 unknown
 Extent
 XI, 457 p. Also available online.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540318767
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/11548133
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540318767
 Label
 Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings, edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Invited Talks  Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories  Labels from Reductions: Towards a General Theory  Adequacy for Algebraic Effects with State  Contributed Papers  Bisimilarity Is Not Finitely Based over BPA with Interrupt  Algebra ? Coalgebra = Presheaves  Strong Splitting Bisimulation Equivalence  Complete Axioms for Stateless Connectors  On the Semantics of Coinductive Types in MartinLöf Type Theory  Look: Simple Stochastic Relations Are Just, Well, Simple  Modelling Fusion Calculus using HDAutomata  An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL  Using Proofs by Coinduction to Find “Traditional” Proofs  From TCoalgebras to Filter Structures and Transition Systems  ContextFree Languages via Coalgebraic Trace Semantics  Towards a Coalgebraic Semantics of the Ambient Calculus  The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic  Ultrafilter Extensions for Coalgebras  Equational Logic of Recursive Program Schemes  The Category Theoretic Solution of Recursive Program Schemes  A Categorical Approach to Simulations  Behavioral Extensions of Institutions  Discrete Lawvere Theories  Final Semantics for EventPattern Reactive Programs  Complete Symbolic Reachability Analysis Using BackandForth Narrowing  Final Sequences and Final Coalgebras for Measurable Spaces  Bireachability and Final Multialgebras  Parametrized Exceptions  Property Preserving Redesign of Specifications
 Dimensions
 unknown
 Extent
 XI, 457 p. Also available online.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540318767
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/11548133
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540318767
Subject
 Algebra  Data processing
 Algebra  Data processing
 Computer Science
 Computer Science
 Computer Science
 Computer science
 Computer science
 Computer science
 Electronic resources
 Logic design
 Logic design
 Logics and Meanings of Programs
 Mathematical Logic and Formal Languages
 Software Engineering
 Software Engineering
 Software Engineering
 Software engineering
 Software engineering
 Software engineering
 Symbolic and Algebraic Manipulation
Member of
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
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.bu.edu/portal/AlgebraandCoalgebrainComputerScienceFirst/GFFZxfZPokI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/AlgebraandCoalgebrainComputerScienceFirst/GFFZxfZPokI/">Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings, edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University 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 : First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings, edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten, (electronic resource)
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.bu.edu/portal/AlgebraandCoalgebrainComputerScienceFirst/GFFZxfZPokI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/AlgebraandCoalgebrainComputerScienceFirst/GFFZxfZPokI/">Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 36, 2005. Proceedings, edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>