Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

Front Cover
Springer Science & Business Media, Apr 18, 2006 - Computers - 262 pages

This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274. The 17 revised full papers presented together with 3 invited papers address foundational and methodological aspects of the calculi of relations and Kleene algebra, and their application in various areas of computer science and information processing.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Topological Representation of Precontact Algebras
1
Relational Semantics Through Duality
17
Duality Theory for Projective Algebras
33
Relational Approach to Boolean Logic Problems
48
Static Analysis of Programs Using Omega Algebra with Tests
60
Weak Contact Structures
73
On Relational Cycles
83
A Framework for Kleene Algebra with an Embedded Structure
96
ControlFlow Semantics for AssemblyLevel DataFlow Graphs
147
Relational Implementation of Simple Parallel Evolutionary Algorithms
161
LatticeBased Paraconsistent Logic
173
Verification of Pushdown Systems Using Omega Algebra with Domain
188
wp Is wlp
200
Relational Representability for Algebras of Substructural Logics
212
KnuthBendix Completion as a Data Structure
225
Quantifier Elimination in Elementary Set Theory
237

Nontermination in Unifying Theories of Programming
108
Towards an Algebra of Hybrid Systems
121
Relational Correspondences for Lattices with Operators
134
TimeDependent Contact Structures in Goguen Categories
249
Author Index
263
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information