Title of article
Abstract State Machines: a unifying view of models of computation and of system design frameworks
Author/Authors
Bِrger، نويسنده , , Egon، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
23
From page
149
To page
171
Abstract
We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which—starting from scratch—provide the conceptual basis for a comparative study.11Helmut Schwichtenberg gewidmet, dem Freund und Kollegen seit der gemeinsamen Studienzeit in Münster.
Journal title
Annals of Pure and Applied Logic
Serial Year
2005
Journal title
Annals of Pure and Applied Logic
Record number
1443633
Link To Document