Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Algebra and Coalgebra in Computer Science: Third International Conference, Calco 2009, Udine, Italy, September 7-10, 2009, Proceedings

Algebra and Coalgebra in Computer Science: Third International Conference, Calco 2009, Udine, Italy, September 7-10, 2009, Proceedings

Kurz, Alexander
Lenisa, Marina

Paperback

FictionGeneral Computers

ISBN10: 3642037402
ISBN13: 9783642037405
Publisher: Springer
Published: Aug 28 2009
Pages: 457
Weight: 1.57
Height: 0.97 Width: 6.49 Depth: 9.35
Language: English
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.

Also in

General Computers

View All