Author:
Ferrarotti Flavio,Schewe Klaus-Dieter
Publisher
Springer Nature Switzerland
Reference8 articles.
1. Blass, A., Gurevich, Y.: Background of computation. Bull. EATCS 92, 82–114 (2007)
2. Börger, E., Schewe, K.-D.: Concurrent abstract state machines. Acta Informatica 53(5), 469–492 (2015). https://doi.org/10.1007/s00236-015-0249-7
3. Ferrarotti, F., Schewe, K.-D., Tec, L., Wang, Q.: A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comp. Sci. 649, 25–53 (2016). https://doi.org/10.1016/j.tcs.2016.08.013
4. Goldberg, D.E.: Genetic Algorithms in Search Optimization and Machine Learning. Addison-Wesley, Boston (1989)
5. Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comp. Logic 1(1), 77–111 (2000)