14. RAMICS 2014: Marienstatt, Germany

Concurrent Kleene Algebras and Related Formalisms

Reasoning About Computations and Programs

Heterogeneous and Categorical Approaches

Applications of Relational and Algebraic Methods

Developments Related to Modal Logics and Lattices

a service of Schloss Dagstuhl - Leibniz Center for Informatics