On the Decidability of Non-Interleaving Process Equivalences.

Astrid Kiehn

Browse the full CONCUR paper archive.