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é Luiz Fiadeiro
Publisher: Berlin : Springer, 2005.
Series: Lecture notes in computer science, 3629.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

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...

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Kongress
Swansea (2005)
Congresses
Congrès
Additional Physical Format: Print version:
CALCO 2005 (2005 : Swansea, Wales).
Algebra and coalgebra in computer science.
Berlin : Springer, 2005
(DLC) 2005931121
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: José Luiz Fiadeiro
ISBN: 9783540318767 3540318763
OCLC Number: 1035703369
Description: 1 online resource (xi, 455 pages) : illustrations.
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-Löf 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.
Other Titles: CALCO 2005
Responsibility: José Luiz Fiadeiro [and others] (eds.).
More information:

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/1035703369> # 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 "1035703369" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/915357808#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_information_technology> ; # COMPUTERS--Information Technology
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_computer_science> ; # COMPUTERS--Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/theoretische_informatik> ; # Theoretische Informatik
    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/algebre> ; # Algèbre
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/algebra> ; # Algebra
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/software_engineering> ; # Software Engineering
    schema:about <http://dewey.info/class/004.01512/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/coalgebre> ; # Coalgèbre
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/mathematique_discrete> ; # Mathématique discrète
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_computer_literacy> ; # COMPUTERS--Computer Literacy
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/formale_methode> ; # Formale Methode
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/theory_of_computation> ; # Theory of Computation
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/symbolic_and_algebraic_manipulation> ; # Symbolic and Algebraic Manipulation
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_reference> ; # COMPUTERS--Reference
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/koalgebra> ; # Koalgebra
    schema:about <http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
    schema:alternateName "CALCO 2005" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/915357808#Person/fiadeiro_jose_luiz_1961> ; # José Luiz Fiadeiro
    schema:creator <http://experiment.worldcat.org/entity/work/data/915357808#Meeting/calco_2005_2005_swansea_wales> ; # CALCO 2005 (2005 : Swansea, Wales)
    schema:datePublished "2005" ;
    schema:description "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-Löf 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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/915357808> ;
    schema:genre "Swansea (2005)"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/915357808#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/915357808#CreativeWork/algebra_and_coalgebra_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 "1035703369" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1035703369#PublicationEvent/berlin_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/915357808#Agent/springer> ; # Springer
    schema:url <https://link.springer.com/10.1007/11548133> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/11548133> ;
    schema:url <http://dx.doi.org/10.1007/11548133> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://dx.doi.org/10.1007/11548133> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-28620-2> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-28/4/9783540318767> ;
    schema:url <http://link.springer.com/10.1007/11548133> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-28620-2> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=3067623> ;
    schema:url <http://catdir.loc.gov/catdir/toc/fy0604/2005931121.html> ;
    schema:workExample <http://dx.doi.org/10.1007/11548133> ;
    schema:workExample <http://worldcat.org/isbn/9783540318767> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1035703369> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/915357808#Place/swansea_wales> # Swansea, Wales)
    a schema:Place ;
    schema:name "Swansea, Wales)" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1035703369> ; # Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/algebre> # Algèbre
    a schema:Intangible ;
    schema:name "Algèbre"@en ;
    schema:name "Algèbre"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/computer_science_mathematics> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_computer_literacy> # COMPUTERS--Computer Literacy
    a schema:Intangible ;
    schema:name "COMPUTERS--Computer Literacy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_computer_science> # COMPUTERS--Computer Science
    a schema:Intangible ;
    schema:name "COMPUTERS--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
    schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_hardware_general> # COMPUTERS--Hardware--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Hardware--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_information_technology> # COMPUTERS--Information Technology
    a schema:Intangible ;
    schema:name "COMPUTERS--Information Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
    schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/computers_reference> # COMPUTERS--Reference
    a schema:Intangible ;
    schema:name "COMPUTERS--Reference"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
    schema:name "Informatique--Mathématiques"@fr ;
    .

<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/mathematique_discrete> # Mathématique discrète
    a schema:Intangible ;
    schema:name "Mathématique discrète"@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://experiment.worldcat.org/entity/work/data/915357808#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
    schema:name "Theoretische Informatik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357808#Topic/theory_of_computation> # Theory of Computation
    a schema:Intangible ;
    schema:name "Theory of Computation"@en ;
    .

<http://worldcat.org/entity/work/data/915357808#CreativeWork/algebra_and_coalgebra_in_computer_science>
    a schema:CreativeWork ;
    rdfs:label "Algebra and coalgebra in computer science." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1035703369> ; # Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
    .

<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/1035703369> ; # 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," ;
    .

<http://www.worldcat.org/title/-/oclc/1035703369>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1035703369> ; # Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
    schema:dateModified "2019-01-11" ;
    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.