03374nam 2200553 a 450 991048491400332120200520144314.010.1007/11548133(CKB)1000000000213210(SSID)ssj0000316127(PQKBManifestationID)11247776(PQKBTitleCode)TC0000316127(PQKBWorkID)10262719(PQKB)10492144(DE-He213)978-3-540-31876-7(MiAaPQ)EBC3067623(PPN)123097088(EXLCZ)99100000000021321020050722d2005 uy 0engurnn#008mamaatxtccrAlgebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings /Jose Luiz Fiadeiro ... [et al.] (eds.)1st ed. 2005.Berlin Springer20051 online resource (XII, 460 p.)Lecture notes in computer science,0302-9743 ;3629Bibliographic Level Mode of Issuance: Monograph3-540-31876-3 3-540-28620-9 Includes bibliographical references and index.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.Lecture notes in computer science ;3629.CALCO 2005Computer scienceMathematicsCongressesAlgebraCongressesComputer scienceMathematicsAlgebra004.01/512Fiadeiro Jose Luiz1961-1756321MiAaPQMiAaPQMiAaPQBOOK9910484914003321Algebra and coalgebra in computer science4201294UNINA