Convolution and Concurrency [article]

James Cranch and Simon Doherty and Georg Struth
2020 arXiv   pre-print
We show how concurrent quantales and concurrent Kleene algebras arise as convolution algebras Q^X of functions from structures X with two ternary relations that satisfy relational interchange laws into concurrent quantales or Kleene algebras Q. The elements of Q can be understood as weights; the case Q= corresponds to a powerset lifting. We develop a correspondence theory between relational properties in X and algebraic properties in Q and Q^X in the sense of modal and substructural logics, and
more » ... boolean algebras with operators. As examples, we construct the concurrent quantales and Kleene algebras of Q-weighted words, digraphs, posets, isomorphism classes of finite digraphs and pomsets.
arXiv:2002.02321v1 fatcat:dyjzozvmhzd75cmus2v6hhpwxa