Process Languages for Rooted Eager Bisimulation.

Irek Ulidowski, Shoji Yuen

Browse the full CONCUR paper archive.