Relations And Kleene Algebra In Computer Science: 10th International Conference On Relational Methods In Computer Science And 5th International Conference On Applications Of Kleene Algebra, Relmics/aka 2008, Frauenwörth, Germany, April 7-11, 2008 : Procee

The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, AKA 2008, held in Manchester, UK in April 2008. The 26 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization. Front Matter....Pages - Formal Methods and the Theory of Social Choice....Pages 1-2 Relations Making Their Way from Logics to Mathematics and Applied Sciences....Pages 3-3 Boolean Logics with Relations....Pages 4-21 Relation Algebra and RelView in Practical Use: Construction of Special University Timetables....Pages 22-36 A Relation Algebraic Semantics for a Lazy Functional Logic Language....Pages 37-53 Latest News about Demonic Algebra with Domain....Pages 54-68 On the Structure of Demonic Refinement Algebras with Enabledness and Termination....Pages 69-83 Multi-objective Problems in Terms of Relational Algebra....Pages 84-98 The Lattice of Contact Relations on a Boolean Algebra....Pages 99-109 A Non-probabilistic Relational Model of Probabilistic Kleene Algebras....Pages 110-122 Increasing Bisemigroups and Algebraic Routing....Pages 123-137 Lazy Relations....Pages 138-154 The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy....Pages 155-172 The Algebraic Approach II: Dioids, Quantales and Monads....Pages 173-190 Automated Reasoning for Hybrid Systems — Two Case Studies —....Pages 191-205 Non-termination in Idempotent Semirings....Pages 206-220 Formal Concepts in Dedekind Categories....Pages 221-233 The Structure of the One-Generated Free Domain Semiring....Pages 234-242 Determinisation of Relational Substitutions in Ordered Categories with Domain....Pages 243-258 Boolean Algebras and Stone Maps in Schröder Categories....Pages 259-273 Cardinality in Allegories....Pages 274-288 Solving Linear Equations in *-continuous Action Lattices....Pages 289-303 Reactive Probabilistic Programs and Refinement Algebra....Pages 304-319 Knowledge and Games in Modal Semirings....Pages 320-336 Theorem Proving Modulo Based on Boolean Equational Procedures....Pages 337-351 Rectangles, Fringes, and Inverses....Pages 352-366 An Ordered Category of Processes....Pages 367-381 Automatic Proof Generation in Kleene Algebra....Pages 382-396 Back Matter....Pages - Constituting the refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, these papers were selected from numerous submissions. Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.). Includes Bibliographical References And Index. Also Issued Online.