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. Proceedings

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 -