Specification of Parallel Algorithms (Series in Discrete Mathematics & Theoretical Computer Science)

Specification of Parallel Algorithms (Series in Discrete Mathematics & Theoretical Computer Science)


Up to 2 WeeksUsually despatched within 2 weeks


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.


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

Product Details

  • ISBN13: 9780821802533
  • Format: Hardback
  • Number Of Pages: 399
  • ID: 9780821802533
  • ISBN10: 0821802534

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly