A Shorter Proof To Uniqueness Of Solutions Of Equations

Elsevier Science Bv
Publication Type:
Journal Article
Theoretical Computer Science, 1999, 216 (1-Feb), pp. 395 - 397
Issue Date:
Full metadata record
Files in This Item:
Filename Description SizeFormat
2008004749OK.pdf148.58 kBAdobe PDF
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.
Please use this identifier to cite or link to this item: