04076nam 2200673Ia 450 991048437090332120200520144314.03-642-03741-010.1007/978-3-642-03741-2(CKB)1000000000784697(SSID)ssj0000316128(PQKBManifestationID)11228958(PQKBTitleCode)TC0000316128(PQKBWorkID)10274780(PQKB)11460486(DE-He213)978-3-642-03741-2(MiAaPQ)EBC3064590(PPN)139955070(EXLCZ)99100000000078469720090914d2009 uy 0engurnn|008mamaatxtccrAlgebra and coalgebra in computer science third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009, proceedings /Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)1st ed. 2009.Berlin ;Heidelberg Springer-Verlag20091 online resource (XI, 457 p.) Lecture notes in computer science,0302-9743 ;5728Bibliographic Level Mode of Issuance: Monograph3-642-03740-2 Includes bibliographical references and index.Algebraic Effects and Recursive Equations -- Adequacy for Infinitary Algebraic Effects (Abstract) -- Algebras for Parameterised Monads -- Kleene Monads: Handling Iteration in a Framework of Generic Effects -- Complete Iterativity for Algebras with Effects -- Semantics of Higher-Order Recursion Schemes -- Theory of Coalgebra -- Coalgebraic Components in a Many-Sorted Microcosm -- Complementation of Coalgebra Automata -- Characterising Behavioural Equivalence: Three Sides of One Coin -- Coinduction -- Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) -- Circular Coinduction: A Proof Theoretical Foundation -- Bisimulation -- Approximating Labelled Markov Processes Again! -- Weak Bisimilarity Coalgebraically -- Coalgebraic Symbolic Semantics -- Relating Coalgebraic Notions of Bisimulation -- Traces, Executions and Schedulers, Coalgebraically -- Non-strongly Stable Orders Also Define Interesting Simulation Relations -- Stone Duality -- Stone Duality and the Recognisable Languages over an Algebra -- Free Heyting Algebras: Revisited -- Distributive Lattice-Structured Ontologies -- A Duality Theorem for Real C * Algebras -- Game Theory -- Conway Games, Coalgebraically -- A Semantical Approach to Equilibria and Rationality -- Graph Transformation -- Van Kampen Colimits as Bicolimits in Span -- Unfolding Grammars in Adhesive Categories -- Software Development Techniques -- Views on Behaviour Protocols and Their Semantic Foundation -- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation -- Constructor-Based Institutions -- CALCO Tools Workshop -- DBtk: A Toolkit for Directed Bigraphs -- Constraint-Muse: A Soft-Constraint Based System for Music Therapy -- CIRC: A Behavioral Verification Tool Based on Circular Coinduction -- The Priced-Timed Maude Tool -- A Tool Proving Well-Definedness of Streams Using Termination Tools.Lecture notes in computer science ;5728.AlgebraData processingComputational complexityComputer scienceLogic designAlgebraData processing.Computational complexity.Computer science.Logic design.004.0151DAT 500fstubDAT 702fstubMAT 110fstubSS 4800rvkKurz Alexander1759631Lenisa Marina1759632Tarlecki Andrzej1221270CALCO 2009MiAaPQMiAaPQMiAaPQBOOK9910484370903321Algebra and coalgebra in computer science4198205UNINA