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. (C) 1999-Elsevier Science B.V. All rights reserved.
solutions of equations observation congruence process calculus bisimulation up to bisimilarity