Author:
Yousefi Behnaz,Ghassemi Fatemeh,Khosravi Ramtin
Publisher
Springer International Publishing
Reference33 articles.
1. Rebeca formal modeling language,
http://www.rebeca-lang.org/wiki/pmwiki.php/Tools/Afra
2. Agha, G.A.: ACTORS - a model of concurrent computation in distributed systems. MIT Press series in artificial intelligence. MIT Press (1990)
3. Lecture Notes in Computer Science;G. Basler,2009
4. Bracha, G., Toueg, S.: Asynchronous consensus and broadcast protocols. Journal of the ACM 32(4), 824–840 (1985)
5. Lecture Notes in Computer Science;C. Cachin,2001
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献