## 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 PapersThis 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 |

Veriﬁcation 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 |

Quantiﬁer 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 |

263 | |

### Other editions - View all

Relational Methods in Computer Science: 8th International Seminar on ... Wendy MacCaull No preview available - 2006 |

### Common terms and phrases

2-precontact space 3-contact space algebra with tests algorithms automata automaton axiom binary relation Boolean algebra bounded lattice canonical frame code graph complete complex algebra Computer Science contact algebras contact relation contact structure corresponding critical pairs Dedekind category deﬁned Deﬁnition denote diﬀerent domain doubly ordered set Duality via Truth edge element elementary cycle equivalent extensional ﬁnite ﬁrst formula function functor Goguen category hence homomorphism idempotent idempotent semiring iﬀ implies inﬁnite isomorphic Kleene algebra Kripke frame Kripke semantics left adjoint Lemma LNCS logic MacCaull modal algebras morphism N-regular resp negation nodes normal designs omega algebra operator pair Petri Nets precontact algebra predicates projective algebra Proof properties Proposition reﬂexive relation-algebraic relational algebra RelMiCS RelView representation theorem satisﬁes satisfying semantics semiring speciﬁcations strongly connected component subset T-rules theory topological transitive variables vector weak contact