03801nam 22006855 450 99646543990331620230223074050.03-642-32784-210.1007/978-3-642-32784-1(CKB)3400000000085719(SSID)ssj0000745862(PQKBManifestationID)11433382(PQKBTitleCode)TC0000745862(PQKBWorkID)10859344(PQKB)11275494(DE-He213)978-3-642-32784-1(MiAaPQ)EBC3070996(PPN)168322730(EXLCZ)99340000000008571920120813d2012 u| 0engurnn|008mamaatxtccrCoalgebraic Methods in Computer Science[electronic resource] 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers /edited by Dirk Pattinson, Lutz Schröder1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (VII, 259 p. 7 illus.) Theoretical Computer Science and General Issues,2512-2029 ;7399Bibliographic Level Mode of Issuance: Monograph3-642-32783-4 Includes bibliographical references and index.From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference -- Defining Context-Free Power Series Coalgebraically -- Relational Presheaves as Labelled Transition Systems -- On Finitary Functors and Their Presentations -- Structural Operational Semantics for Continuous State Probabilistic Processes -- Stream Automata Are Coalgebras -- Trace Semantics via Determinizatio -- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus -- Lax Extensions of Coalgebra Functors -- From Transitions to Executions -- Tracing the Man in the Middle in Monoidal Categories -- Permutations in Coinductive Graph Representation -- Internal Models for Coalgebraic Modal Logics.This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.Theoretical Computer Science and General Issues,2512-2029 ;7399Machine theoryComputer scienceComputer science—MathematicsMathematical statisticsFormal Languages and Automata TheoryTheory of ComputationComputer Science Logic and Foundations of ProgrammingProbability and Statistics in Computer ScienceMachine theory.Computer science.Computer science—Mathematics.Mathematical statistics.Formal Languages and Automata Theory.Theory of Computation.Computer Science Logic and Foundations of Programming.Probability and Statistics in Computer Science.005.131Pattinson Dirkedthttp://id.loc.gov/vocabulary/relators/edtSchröder Lutzedthttp://id.loc.gov/vocabulary/relators/edtWorkshop on Coalgebraic Methods in Computer ScienceBOOK996465439903316Coalgebraic Methods in Computer Science2902835UNISA