Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.

Paul Brunet, David J. Pym

Browse the full FSCD paper archive.