[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

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]