Divide and Congruence II: Delay and Weak Bisimilarity.

Wan J. Fokkink, Rob J. van Glabbeek

Browse the full LICS paper archive.