A shorter proof to uniqueness of solutions of equations

Authors
Ying, MS
Citation
Ms. Ying, A shorter proof to uniqueness of solutions of equations, THEOR COMP, 216(1-2), 1999, pp. 395-397
Citations number
3
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
216
Issue
1-2
Year of publication
1999
Pages
395 - 397
Database
ISI
SICI code
0304-3975(19990306)216:1-2<395:ASPTUO>2.0.ZU;2-4
Abstract
We give a very short proof of uniqueness of solutions of equations regardin g observation congruence, the main notion of equality, over Milner's proces s calculus. (C) 1999-Elsevier Science B.V. All rights reserved.