%0 Journal Article %1 Börger2005149 %A Börger, Egon %D 2005 %J Annals of Pure and Applied Logic %K 2read mocs theory workflow %N 1-3 %P 149 - 171 %R DOI: 10.1016/j.apal.2004.10.007 %T Abstract State Machines: a unifying view of models of computation and of system design frameworks %U http://www.sciencedirect.com/science/article/B6TYB-4DW8YRF-4/2/c2705a9143290e5799e7de7294f063eb %V 133 %X 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.1

@article{Börger2005149, 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.1}, added-at = {2009-05-11T00:53:25.000+0200}, author = {Börger, Egon}, biburl = {https://www.bibsonomy.org/bibtex/25fa93e5077e161085645e14a97c2de2a/ludaesch}, description = {ScienceDirect - Annals of Pure and Applied Logic : Abstract State Machines: a unifying view of models of computation and of system design frameworks}, doi = {DOI: 10.1016/j.apal.2004.10.007}, interhash = {e7a2cc060cd3c339b87438dc642fa93f}, intrahash = {5fa93e5077e161085645e14a97c2de2a}, issn = {0168-0072}, journal = {Annals of Pure and Applied Logic}, keywords = {2read mocs theory workflow}, note = {Festschrift on the occasion of Helmut Schwichtenberg's 60th birthday}, number = {1-3}, pages = {149 - 171}, timestamp = {2009-05-11T00:53:25.000+0200}, title = {Abstract State Machines: a unifying view of models of computation and of system design frameworks}, url = {http://www.sciencedirect.com/science/article/B6TYB-4DW8YRF-4/2/c2705a9143290e5799e7de7294f063eb}, volume = 133, year = 2005 }