A shorter proof to uniqueness of solutio
β
Ying Mingsheng
π
Article
π
1999
π
Elsevier Science
π
English
β 156 KB
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.