{"product_id":"algebra-and-coalgebra-in-computer-alexander-kurz-9783642037405","title":"Algebra and Coalgebra in Computer Science: Third International Conference, Calco 2009, Udine, Italy, September 7-10, 2009, Proceedings","description":"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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Alexander Kurz\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3642037402\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642037405\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 08\/28\/2009\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 457\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.57lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.35h x 6.49w x 0.97d","brand":"Alexander Kurz","offers":[{"title":"Paperback","offer_id":48486977306879,"sku":"9783642037405","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_019ebf69-2a3e-4eaf-aa82-93851098f170.jpg?v=1778057525","url":"https:\/\/www.whiterainbookhouse.com\/products\/algebra-and-coalgebra-in-computer-alexander-kurz-9783642037405","provider":"WR Book House","version":"1.0","type":"link"}