A Shorter Proof to Uniqueness of Solutions of Equations

We give a very short proof of uniqueness of solutions of equations regarding observation congruence, the main notion of equality, over Milner’s process calculus. @ 1999-Elsevier Science B.V. All rights reserved