A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Concurrent Kleene Algebra and its Foundations
2011
The Journal of Logic and Algebraic Programming
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands for sequential execution and the other for concurrent execution of program components. After introducing this motivating concrete application, we investigate its abstract background in terms of a primitive independence relation between the traces. On this basis, we develop a series of richer algebras; the richest
doi:10.1016/j.jlap.2011.04.005
fatcat:7zx4n42mojaqhaktidvrdzl6cq