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.