Partially Observable Concurrent Kleene Algebra.

Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kapp, Jurriaan Rot, Alexandra Silva

Browse the full CONCUR paper archive.