An exercise in structural congruence
Milner's structural congruence is decidable for the pi-calculus without restriction, in exponential space. (c) 2006 Elsevier B.V. All rights reserved.
pi-calculus concurrency petri net commutative semigroup