Skip to content

On Decidability of Concurrent Kleene Algebra.

Paul Brunet, Damien Pous, Georg Struth

VenueBCONCUR
Year2017
ProceedingsCONCUR

Browse the full CONCUR paper archive.