Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/tutorial.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Yuri Gurevich, "Evolving Algebras: An Attempt to Discover Semantics", Current Trends in Theoretical Computer Science, eds. G. Rozenberg and A. Salomaa, World Scientific, 1993, 266--292. (A previous version appeared in the Bulletin of the European Association for Theoretical Computer Science, no. 43, Feb. 1991, 264--284). |
|---|---|
| Summary: | This tutorial introduces the concepts behind sequential ASMs (sufficient to model any sequential computation). It is written as a dialogue between the author and a fictional graduate student. |
| Subjects: | Introductory Materials |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: | Also available as WWW pages. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/tutorial.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT