Author:
Cogumbreiro Tiago,Martins Francisco,Thudichum Vasconcelos Vasco
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Aditya, S., Stoy, J.E., Arvind: Semantics of barriers in a non-strict, implicitly-parallel language. In: Proceedings of FPCA 1995, pp. 204–215. ACM (1995)
2. Agarwal, S., Barik, R., Sarkar, V., Shyamasundar, R.K.: May-happen-in-parallel analysis of X10 programs. In: Proceedings of PPoPP 2010, pp. 183–193. ACM (2007)
3. Albrecht, J., Tuttle, C., Snoeren, A.C., Vahdat, A.: Loose synchronization for large-scale networked systems. In: Proceedings of ATEC 2006, p. 28. USENIX Association (2006)
4. Arvind, Maessen, J.-W., Nikhil, R.S., Stoy, J.E.: λ
s
: an implicitly parallel λ-calculus with letrec, synchronization and side-effects. Electronic Notes Theoretical Computer Science 16(3), 265–290 (1998)
5. Barnes, F.R., Welch, P.H., Sampson, A.T.: Barrier Synchronisation for occam-pi. In: Proceedings of PDPTA 2005, pp. 173–179. CSREA Press (2005)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient lock‐step synchronization in task‐parallel languages;Software: Practice and Experience;2019-07
2. Dynamic Deadlock Verification for General Barrier Synchronisation;ACM Transactions on Programming Languages and Systems;2019-03-31
3. Enforcing Availability in Failure-Aware Communicating Systems;Formal Techniques for Distributed Objects, Components, and Systems;2016
4. Dynamic deadlock verification for general barrier synchronisation;Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2015-01-24