[an error occurred while processing this directive]
[an error occurred while processing this directive]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. |