Author:
Ferrarotti Flavio,Pichler Josef,Moser Michael,Buchgeher Georg
Publisher
Springer International Publishing
Reference23 articles.
1. Lecture Notes in Computer Science;M Barnett,2000
2. Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Trans. Comput. Logic 4(4), 578–651 (2003)
3. Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms: correction and extension. ACM Trans. Comput. Logic 9(3), 19:1–19:32 (2008)
4. Börger, E.: The origins and the development of the ASM method for high level system design and analysis. J. UCS 8(1), 2–74 (2002)
5. Börger, E.: Abstract state machines: a unifying view of models of computation and of system design frameworks. Ann. Pure Appl. Logic 133(1–3), 149–171 (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献