Author:
Schewe Klaus-Dieter,Prinz Andreas,Börger Egon
Publisher
Springer International Publishing
Reference19 articles.
1. Agha, G.: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
2. Best, E.: Semantics of Sequential and Parallel Programs. Prentice Hall, Upper Saddle River (1996)
3. Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Trans. Comput. Logic 4(4), 578–651 (2003)
4. Börger, E., Schewe, K.-D.: Concurrent abstract state machines. Acta Inf. 53(5), 469–492 (2016)
5. Börger, E., Schewe, K.-D.: Communication in abstract state machines. J. Univ. Comp. Sci. 23(2), 129–145 (2017)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献