Invited Talk: Logician in the Land of OS: Abstract State Machines in Microsoft (at LICS 2001)
Authors: Yuri GurevichAbstract
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.
BibTeX
@InProceedings{Gurevich-LogicianintheLandof, author = {Yuri Gurevich}, title = {Logician in the Land of OS: Abstract State Machines in Microsoft}, booktitle = {Proceedings of the Sixteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2001}, year = 2001, editor = {Joseph Halpern}, month = {June}, pages = {129--138}, location = {Boston, MA, USA}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }