Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems.

Sren Christensen

Browse the full CONCUR paper archive.