Abstract State Machines: An Overview of the Project

Yuri Gurevich. Abstract State Machines: An Overview of the Project. In Dietmar Seipel, Jose Maria Turull Torres, editors, Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings. Volume 2942 of Lecture Notes in Computer Science, pages 6-13, Springer, 2004. [doi]

Abstract

Abstract is missing.