Gurevich abstract state machines and Schönhage storage modification machines

Journal of Universal Computer Science

Volumn 3, Issue 4, 1997, Pages 279-303

  Dexter, Scott ^a   Doyle, Patrick ^b   Gurevich, Yuri ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33947101643     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. [Blass and Gurevich] Blass, A., and Gurevich, Y.: "Evolving algebras and linear time hierarchy"; Proc. of IFIP Congress 94, vol. I, Elsevier (1994), 383-390.
2. [Gurevich 91] Gurevich, Y.: "Evolving algebras: An attempt to discover semantics"; Bulletin of European Assoc. for Theor. Computer Science, no. 43, Feb. 1991, 264-284.
3. A slightly revised version appeared in "Current Trends in Theoretical Computer Science", Eds. G. Rozenberg and A. Salomaa, World Scientific, 1993, 266-292.
4. [Gurevich 95] Gurevich, Y.: "Evolving algebras 1993: Lipari guide"; Specification and Validation Methods, Ed. E. Boerger, Oxford University Press (1995), 9-36.
5. [Kolmogorov 53] Kolmogorov, A. N.: "On the notion of an algorithm"; Uspekhi Mat. Nauk, 8, 4 (1953), 175-176.
6. [Kolmogorov and Uspenskii 63] Kolmogorov, A. N. and Uspenskii, V. A.: "On the definition of an algorithm"; AMS Tranlations 2nd Series, 29 (1963), 217-245.
7. [Schönhage 70] Schönhage, A.: "Universelle Turing Speicherung"; Automatentheorie und Formale Sprachen, Bibliogr. Institut, Mannheim (1970), 369-383.
8. [Schönhage 80] Schönhage, A.: "Storage modification machines"; SIAM J. Computing, 9 (1980), 490-508.