Computational Model Study (Early Version)

Citation:	Egon Börger, "Computation and Specification Models: A Comparative Study". In Proceedings of the Fourth International Workshop on Action Semantics, AS 2002, BRICS Notes Series NS-02-8, University of Aarhus, Department of Computer Science, 2002, 110--133.
Summary:	ASM definitions are given for the principal current models of computation and high-level system design.
Subjects:	(Other) Models of Computation
Download:	PostScript, Compressed PostScript
Notes:	See also a later version by the author.

[an error occurred while processing this directive]

Abstract State Machines