Weakest-Congruence Results for Livelock-Preserving Equivalences.

Antti Puhakka, Antti Valmari

Browse the full CONCUR paper archive.