Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642037405, 9783642037412

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relating Coalgebraic Notions of Bisimulation

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03741-2_14 ◽

2009 ◽

pp. 191-205 ◽

Cited By ~ 14

Author(s):

Sam Staton

Download Full-text

Complete Iterativity for Algebras with Effects

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03741-2_4 ◽

2009 ◽

pp. 34-48 ◽

Cited By ~ 3

Author(s):

Stefan Milius ◽

Thorsten Palm ◽

Daniel Schwencke

Download Full-text

Constraint-Muse: A Soft-Constraint Based System for Music Therapy

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03741-2_29 ◽

2009 ◽

pp. 423-432 ◽

Cited By ~ 2

Author(s):

Matthias Hölzl ◽

Grit Denker ◽

Max Meier ◽

Martin Wirsing

Keyword(s):

Music Therapy ◽

Soft Constraint

Download Full-text

Views on Behaviour Protocols and Their Semantic Foundation

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03741-2_25 ◽

2009 ◽

pp. 367-382 ◽

Cited By ~ 5

Author(s):

Sebastian S. Bauer ◽

Rolf Hennicker

Download Full-text

Free Heyting Algebras: Revisited

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03741-2_18 ◽

2009 ◽

pp. 251-266 ◽

Cited By ~ 4

Author(s):

Nick Bezhanishvili ◽

Mai Gehrke

Keyword(s):

Heyting Algebras

Download Full-text

Coalgebraic Symbolic Semantics

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03741-2_13 ◽

2009 ◽

pp. 173-190 ◽

Cited By ~ 3

Author(s):

Filippo Bonchi ◽

Ugo Montanari

Download Full-text

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03741-2_26 ◽

2009 ◽

pp. 383-397 ◽

Cited By ~ 14

Author(s):

Fernando Orejas ◽

Esther Guerra ◽

Juan de Lara ◽

Hartmut Ehrig

Keyword(s):

Model Transformation

Download Full-text

Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03741-2_9 ◽

2009 ◽

pp. 113-126 ◽

Cited By ~ 10

Author(s):

Conor McBride

Download Full-text

DBtk: A Toolkit for Directed Bigraphs

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03741-2_28 ◽

2009 ◽

pp. 413-422 ◽

Cited By ~ 6

Author(s):

Giorgio Bacci ◽

Davide Grohmann ◽

Marino Miculan

Download Full-text

Traces, Executions and Schedulers, Coalgebraically

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03741-2_15 ◽

2009 ◽

pp. 206-220 ◽

Cited By ~ 1

Author(s):

Bart Jacobs ◽

Ana Sokolova

Download Full-text

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Relating Coalgebraic Notions of Bisimulation

Complete Iterativity for Algebras with Effects

Constraint-Muse: A Soft-Constraint Based System for Music Therapy

Views on Behaviour Protocols and Their Semantic Foundation

Free Heyting Algebras: Revisited

Coalgebraic Symbolic Semantics

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)

DBtk: A Toolkit for Directed Bigraphs

Traces, Executions and Schedulers, Coalgebraically

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science
Latest Publications