Subject
General Computer Science,Theoretical Computer Science
Reference29 articles.
1. R. M. Amadio, I. Castellani and D. Sangiorgi. On Bisimulations for the Asynchronous π-Calculus. In Proceedings of CONCUR '96, volume 1119 of LNCS, pages 147-162. Springer, 1996.
2. R. M. Amadio. An Asynchronous Model of Locality, Failure, and Process Mobility. In Proceedings of COORDINATION '97, 1997. To appear.
3. M. Ben-Or. Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols. In Proceedings of PODC '83, pages 27-30. 1983.
4. Output Guards and Nondeterminism in “Communicating Sequential Processes”;Bernstein;ACM Transactions on Programming Languages and Systems,1980
5. On The Turing-Equivalence of Linda Coordination Primitives;Busi;This volume,1997
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献