Approximating Weak Bisimulation on Basic Process Algebras.

Jitka Strbrn

Browse the full MFCS paper archive.