CCS Dynamic Bisimulation is Progressing.

Ugo Montanari, Vladimiro Sassone

Browse the full MFCS paper archive.