skip to content
Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings Preview this item
ClosePreview this item
Checking...

Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Author: José Luis Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten
Publisher: Berlin Heidelberg : Springer-Verlag., 2005.
Series: Lecture notes in computer science, 3629.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer e-books
Database:WorldCat
Summary:
Annotation
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: José Luis Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten
ISBN: 3540318763 9783540318767
OCLC Number: 228158907
Description: 1 online resource (: v.: digital.
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 Martin-Lof Type Theory.- Look: Simple Stochastic Relations Are Just, Well, Simple.- Modelling Fusion Calculus using HD-Automata.- 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 T-Coalgebras to Filter Structures and Transition Systems.- Context-Free 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 Event-Pattern Reactive Programs.- Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.- Final Sequences and Final Coalgebras for Measurable Spaces.- Bireachability and Final Multialgebras.- Parametrized Exceptions.- Property Preserving Redesign of Specifications.
Series Title: Lecture notes in computer science, 3629.
Responsibility: edited by José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten.
More information:

Abstract:

Constitutes the proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. This book addresses two basic areas  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/228158907> # Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "228158907" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/915357808#Place/berlin_heidelberg> ; # Berlin Heidelberg
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/symbolic_and_algebraic_manipulation> ; # Symbolic and Algebraic Manipulation
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/computer_science> ; # Computer Science
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://dewey.info/class/004.01512/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://id.loc.gov/authorities/subjects/sh2007100982> ; # Algebra--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/software_engineering> ; # Software Engineering
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/73347414> ; # Neil Harman
    schema:contributor <http://experiment.worldcat.org/entity/work/data/915357808#Person/rutten_jan> ; # Jan Rutten
    schema:contributor <http://experiment.worldcat.org/entity/work/data/915357808#Person/roggenbach_markus> ; # Markus Roggenbach
    schema:creator <http://experiment.worldcat.org/entity/work/data/915357808#Person/fiadeiro_jose_luis> ; # José Luis Fiadeiro
    schema:datePublished "2005" ;
    schema:description "Annotation"@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/915357808> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:name "Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings"@en ;
    schema:productID "228158907" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/228158907#PublicationEvent/berlin_heidelberg_springer_verlag_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/915357808#Agent/springer_verlag> ; # Springer-Verlag.
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-28620-2> ;
    schema:url <http://dx.doi.org/10.1007/11548133> ;
    schema:url <http://catdir.loc.gov/catdir/toc/fy0604/2005931121.html> ;
    schema:workExample <http://worldcat.org/isbn/9783540318767> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/228158907> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/915357808#Agent/springer_verlag> # Springer-Verlag.
    a bgn:Agent ;
    schema:name "Springer-Verlag." ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Person/fiadeiro_jose_luis> # José Luis Fiadeiro
    a schema:Person ;
    schema:familyName "Fiadeiro" ;
    schema:givenName "José Luis" ;
    schema:name "José Luis Fiadeiro" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Person/roggenbach_markus> # Markus Roggenbach
    a schema:Person ;
    schema:familyName "Roggenbach" ;
    schema:givenName "Markus" ;
    schema:name "Markus Roggenbach" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Person/rutten_jan> # Jan Rutten
    a schema:Person ;
    schema:familyName "Rutten" ;
    schema:givenName "Jan" ;
    schema:name "Jan Rutten" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Place/berlin_heidelberg> # Berlin Heidelberg
    a schema:Place ;
    schema:name "Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/symbolic_and_algebraic_manipulation> # Symbolic and Algebraic Manipulation
    a schema:Intangible ;
    schema:name "Symbolic and Algebraic Manipulation"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh2007100982> # Algebra--Data processing
    a schema:Intangible ;
    schema:name "Algebra--Data processing"@en ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/804890> # Algebra--Data processing
    a schema:Intangible ;
    schema:name "Algebra--Data processing"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/73347414> # Neil Harman
    a schema:Person ;
    schema:familyName "Harman" ;
    schema:givenName "Neil" ;
    schema:name "Neil Harman" ;
    .

<http://worldcat.org/isbn/9783540318767>
    a schema:ProductModel ;
    schema:isbn "3540318763" ;
    schema:isbn "9783540318767" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/228158907> ; # Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/228158907>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/228158907> ; # Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    schema:dateModified "2016-12-08" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.