## An algebraic approach to multirelations and their properties

- Rudolf Berghammer, Walter Guttmann
- J. Log. Algebr. Meth. Program.
- 2017

- Published 2015 in ACM Trans. Comput. Log.
DOI:10.1145/2785967

We reconstruct Peleg’s concurrent dynamic logic in the context of modal Kleene algebras. We explore the algebraic structure of its multirelational semantics and develop an axiomatization of concurrent dynamic algebras from that basis. In this context, sequential composition is not associative. It interacts with parallel composition through a weak… (More)

### Presentations referencing similar topics