Author:
Ferrarotti Flavio,Schewe Klaus-Dieter,Tec Loredana
Publisher
Springer International Publishing
Reference14 articles.
1. Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Trans. Comput. Logic 4(4), 578–651 (2003)
2. Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms: correction and extension. ACM Trans. Comp. Logic 9(3), 19 (2008)
3. Börger, E.: The ASM refinement method. Formal Aspects Comput. 15, 237–257 (2003)
4. Börger, E., Schewe, K.D.: Concurrent abstract state machines. Acta Inform. 53(5), 469–492 (2016)
5. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003).
https://doi.org/10.1007/978-3-642-18216-7
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献