Author:
Hensgen Debra,Finkel Raphael,Manber Udi
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference7 articles.
1. Eugene D. Brooks III, The Butterfly Barrier,International Journal of Parallel Programming 15:295?307 (1986).
2. Boris D. Lubachevsky, An Approach to Automating the Verification of Compact Parallel Coordination Programs,Acta Informatica, pp. 125?169 (1984).
3. Leslie Lamport, On the Correctness of Multiprocess Programs,IEEE Transactions on Software Engineering SE-3(2):125?143 (Match 1977).
4. Hugh C. Lauer and Roger M. Needham, On the Duality of Operating System Structures,Operating Systems Review, pp. 3?19 (April 1979). Originally printed in the Proceedings of the Second International Symposium on Operating Systems,IRIA (October 1978).
5. Yijie Han and Raphael Finkel, An Optimal Scheme for Disseminating Information, Technical Report 106-88, Computer Sciences Department, University of Kentucky (1988).
Cited by
109 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献