Author:
Schewe Klaus-Dieter,Ferrarotti Flavio,Tec Loredana,Wang Qing
Publisher
Springer International Publishing
Reference41 articles.
1. Blass, A., Gurevich, Y.: Abstract State Machines capture parallel algorithms. ACM Trans. Comput. Log. 4(4), 578–651 (2003)
2. Blass, A., Gurevich, Y.: Abstract State Machines capture parallel algorithms: correction and extension. ACM Trans. Comput. Log. 9(3), 19:1–19:32 (2008)
3. Blass, A., Gurevich, Y.: Background of computation. Bull. EATCS 92, 82–114 (2007)
4. Börger, E., Schewe, K.D.: Concurrent Abstract State Machines. Acta Informatica 53(5), 469–492 (2016)
5. Börger, E.: The ASM refinement method. Formal Asp. Comp. 15(2–3), 237–257 (2003)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems;IEEE Transactions on Software Engineering;2023-03-01
2. Why Programming Must Be Supported by Modeling and How;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018