Logician in the land of OS: abstract state machines in Microsoft

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.