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, Benjamin Rossman and the speaker are extending the Small-Step Characterization Theorem (that asserts the validity of the sequential version of the ASM thesis) and the Wide-Step Characterization Theorem (that asserts the validity of the parallel version of the ASM thesis) to intra-step interacting algorithms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ASM Michigan Webpage, http://www.eecs.umich.edu/gasm/ (maintained by James K. Huggins)
The AsmL webpage, http://research.microsoft.com/foundations/AsmL/
Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. A. C. M. Trans. Computational Logic 4(4), 578–651 (2003)
Blass, A., Gurevich, Y.: Algorithms: A Quest for Absolute Definitions. Bulletin of the European Association for Theoretical Computer Science (81), 195–225 (October 2003)
Blass, A., Gurevich, Y.: Ordinary Interactive Small-Step Algorithms, I. Technical Report MSR-TR-2004-16, Microsoft Research (February 2004)
Blass, A., Gurevich, Y.: Ordinary Interactive Small-Step Algorithms, II (in preparation)
Blass, A., Gurevich, Y., Rossman, B.: General interactive smallstep algorithms (tentative title) (in preparation)
Hejlsberg, A., Wiltamuth, S., Golde, P.: The C# Programming Language. Addison-Wesley, Reading (2003)
Gurevich, Y.: Evolving algebra 1993: Lipari guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1995)
Gurevich, Y.: Sequential abstract state machines capture sequential algorithms. A. C. M. Trans. Computational Logic 1(1), 77–111 (2000)
Joy, B., Steele, G., Gosling, J., Bracha, G.: Java (TM) Language Specification, 2nd edn. Addison-Wesley Pub., Reading (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gurevich, Y. (2004). Intra-step Interaction. In: Zimmermann, W., Thalheim, B. (eds) Abstract State Machines 2004. Advances in Theory and Practice. ASM 2004. Lecture Notes in Computer Science, vol 3052. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24773-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-24773-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22094-7
Online ISBN: 978-3-540-24773-9
eBook Packages: Springer Book Archive