Logician in the land of OS: Abstract State Machines in Microsoft

Yuri Gurevich

Logician in the land of OS: Abstract State Machines in Microsoft

Yuri Gurevich

Sixteenth Annual IEEE Symposium on Logic in Computer Science, June 2001, Boston | June 2001

Published by IEEE Computer Society

Download BibTex

Analysis of foundational problems like “What is computation?” leads to a sketch of the paradigm of abstract state machines (ASMs). This is followed by a brief discussion on ASMs applications. Then we present some theoretical problems that bridge between the traditional LICS themes and abstract state machines.