Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. C. D. Polychronopoulos, M. Girkar, M. R. Haghighat, C. L. Lee, B. Leung, and D. Schouten. PARAPHRASE-2; an environment for parallelizing, partitioning, synchronizing, and scheduling programs on multiprocessors. Int. Journal of High Speed Computing, 1(1):45–72, 1989.
2. N. Carriero, D. Gelernter, and J. Leichter. Distributed data structures in linda. In Thirteenth Annual ACM Symposium on Principles of Programming Languages, pages 236–242, 1986.
3. C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666–677, August 1978.
4. Estelle: A Formal Description Technique Based on a Extended State Transition Model. ISO. ISO/TC97/SC21/WG1, IS9074.
5. C. Koebel and P. Mehrotra. Supporting Shared Data Structures on Distributed Memory Architectures. Technical Report csd-tr 915, Department of Computer Science, Purdue University, 1990.