Probabilistic Operational Correspondence.

Anna Schmitt, Kirstin Peters

Browse the full CONCUR paper archive.