Produktbild: Algebra and Coalgebra in Computer Science
Band 5728

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

Fr. 73.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2009

Herausgeber

Alexander Kurz + weitere

Verlag

Springer Berlin

Seitenzahl

457

Maße (L/B/H)

24/15.7/2.8 cm

Gewicht

710 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-03740-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

457

Maße (L/B/H)

24/15.7/2.8 cm

Gewicht

710 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-03740-5

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 6221 3454301
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Algebra and Coalgebra in Computer Science
  • 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.