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.
Author(s): Marc Pauly (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)
Series: Lecture Notes in Computer Science 4988
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 402
Tags: Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Artificial Intelligence (incl. Robotics); Software Engineering
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 -
