Intra-Step Interaction
Cached
Download Links
- [research.microsoft.com]
- [research.microsoft.com]
- DBLP
Other Repositories/Bibliography
by
Yuri Gurevich
BibTeX
@MISC{Gurevich_intra-stepinteraction,
author = {Yuri Gurevich},
title = {Intra-Step Interaction},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass,
Citations
| 104 | Sequential abstract state machines capture sequential algorithms - Gurevich |
| 58 | Evolving Algebras 1993: Lipari Guide, Specification and Validation - Gurevich - 1995 |
| 48 | Abstract state machines capture parallel algorithms - Blass, Gurevich |
| 27 | Ordinary Interactive Small-Step Algorithms - Blass, Gurevich |
| 13 | Algorithms: A quest for absolute definitions - Blass, Gurevich - 2003 |
| 7 | General Interactive Small Step Algorithms - Blass, Gurevich, et al. - 2006 |
| 7 | Gilad Bracha, Java(TM) Language Specification (2nd Edition - Joy, Steele, et al. - 2000 |
| 6 | webpage, http://www.eecs.umich.edu/gasm/, maintained by James K - Michigan |
