DIMACS: Series in Discrete Mathematics and Theoretical Computer Science 1994; 399 pp; hardcover Volume: 18 ISBN10: 0821802534 ISBN13: 9780821802533 List Price: US$101 Member Price: US$80.80 Order Code: DIMACS/18
 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, largescale parallel systems, specification tools and environments, and proof techniques for concurrent systems. Copublished with the Center for Discrete Mathematics and Theoretical Computer Science beginning with Volume 8. Volumes 17 were copublished 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 factoryPractical 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 setbased 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  Higherorder 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 futurebased polymorphic typed concurrent objectoriented languageIts 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 faulttolerance
 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
