References
Yuri Gurevich, Logic and the Challenge of Computer Science, in Current Trends in Computer Science, ed. Egon Börger, Computer Science Press, 1987, 1–57.
Yuri Gurevich and James M. Morris, Algebraic Operational Semantics for Modula-2, Technical Report CRL-TR-10-87, University of Michigan, July 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gurevich, Y. (1987). Algebraic operational semantics. In: Nori, K.V. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1987. Lecture Notes in Computer Science, vol 287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18625-5_37
Download citation
DOI: https://doi.org/10.1007/3-540-18625-5_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18625-0
Online ISBN: 978-3-540-48033-4
eBook Packages: Springer Book Archive