This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise. Among the topics discussed were new specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, novel concurrent architectures and systems, large-scale parallel systems, specification tools and environments, and proof techniques for concurrent systems.

Co-published with the Center for Discrete Mathematics and Theoretical Computer Science beginning with Volume 8. Volumes 1-7 were co-published with the Association for Computer Machinery (ACM).

Readership

Computer scientists.

Table of Contents

• A. Chien, M. Straka, J. Dolby, V. Karamcheti, J. Plevyak, and X. Zhang -- A case study in irregular parallel programming
• W. F. McColl -- BSP programming
• P. Wegner -- Beyond computable functions or escape from the Turing tarpit
• K. M. Chandy and B. A. Sanders -- Compositional specifications of parallel programs: Nondeterministic data flow
• D. B. Skillicorn -- Building categorical data type programs
• R. Cleaveland, J. N. Gada, P. M. Lewis, S. A. Smolka, O. Sokolsky, and S. Zhang -- The concurrency factory--Practical tools for specification, simulation, verification, and implementation of concurrent systems
• Y.-K. Tsay and R. L. Bagrodia -- Operational implication of conditional unity properties
• S. F. Hummel -- On the implementation of set-based parallel algorithms
• M. Hurfin, N. Plouzeau, and M. Raynal -- On granularity of events in distributed computations
• N. Lynch -- Atomic transactions for multiprocessor programming: A formal approach
• L. Snyder -- A practical parallel programming model
• S. Ahmed, N. Carriero, and D. Gelernter -- A program building tool for parallel applications
• D. Le Métayer -- Higher-order multiset programming
• B. K. Szymanski -- Specifying parallel programs in a functional language: The EPL experience
• T. DeBoni, J. Feo, H. Caffey, and F. Hausheer -- Developing molecular dynamics simulation codes using mixed language programming
• G. Agha, W. Kim, and R. Panwar -- Actor languages for specification of parallel computations
• K. Ueda -- The mode system of moded flat GHC
• K. Taura, S. Matsuoka, and A. Yonezawa -- ABCL/\(f\) : A future-based polymorphic typed concurrent object-oriented language--Its design and implementation
• L. Lamport -- TLA in pictures
• P. Lincoln, N. Martí-Oliet, and J. Meseguer -- Specification, transformation, and programming of concurrent systems in rewriting logic
• A. Arora, M. Gouda, and G. Varghese -- Constraint satisfaction as a basis for designing nonmasking fault-tolerance
• J. Misra -- A discipline of multiprogramming
• A. Goldberg, P. Mills, L. Nyland, J. Prins, J. Reif, and J. Riely -- Specification and development of parallel algorithms with the proteus system