Generic Paper Web Page

Citation:	Alan Kaplan and J.C. Wileden, "Formalization and Application of a Unifying Model for Name Management", The Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, Washington, D.C., October, 1995, pp.161--172. (Software Engineering Notes 20 (4))
Summary:	A unifying model for name management, presented using ASMs.
Subjects:	Miscellany
Download:	PostScript, PDF, Compressed PostScript
Notes:

[an error occurred while processing this directive]

Abstract State Machines