Logician in the Land of OS

Citation:	Yuri Gurevich, "Logician in the land of OS: Abstract State Machines at Microsoft". In Proceedings of the Sixteenth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 2001, 129-136.
Summary:	Analysis of foundational problems like "What is computation?" leads to a sketch of the paradigm of ASMs. This is followed by a brief discussion on ASM applications. Then we present some theoretical problems that bridge between traditional logic-in-CS themes and ASMs.
Subjects:	Discussions
Download:	Available from Yuri Gurevich's web pages as article 151.
Notes:

[an error occurred while processing this directive]

Abstract State Machines