Rich Sequential ASMs

Citation:	Yuri Gurevich, Wolfram Schulte, and Margus Veanes, "Rich Sequential-Time ASMs". In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 291-293.
Summary:	An extended abstract describing extensions to sequential ASMs incorporated in Microsoft's AsmL language.
Subjects:	ASM Extensions
Download:	From Foundations of Software Engineering at Microsoft Research in PostScript.
Notes:	See the full paper

[an error occurred while processing this directive]

Abstract State Machines