Author:
Ferrarotti Flavio,González Sénen
Publisher
Springer International Publishing
Reference14 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. Börger, E.: The ASM refinement method. Formal Asp. Comput. 15(2–3), 237–257 (2003)
4. Börger, E., Raschke, A.: Modeling Companion for Software Practitioners. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-662-56641-1
5. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-642-18216-7