Limit search to available items
Book Cover
Author CALCO (Conference) (1st : 2005 : Swansea, Wales)

Title Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings / Jose Luiz Fiadeiro [and others] (eds.)
Published Berlin ; New York : Springer, ©2005


Description 1 online resource (xi, 455 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3629
Lecture notes in computer science ; 3629. 0302-9743
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
Bibliography Includes bibliographical references and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
Print version record
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Subject Computer science -- Mathematics -- Congresses
Algebra -- Congresses
COMPUTERS -- Reference.
COMPUTERS -- Machine Theory.
COMPUTERS -- Computer Literacy.
COMPUTERS -- Information Technology.
COMPUTERS -- Data Processing.
COMPUTERS -- Computer Science.
COMPUTERS -- Hardware -- General.
Computer science -- Mathematics.
Formale Methode
Theoretische Informatik
Mathématique discrète.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Swansea (2005)
Form Electronic book
Author Fiadeiro, José Luiz, 1961-
ISBN 9783540318767
Other Titles CALCO 2005