Specification of Parallel Algorithms

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
BSP programming
Beyond computable functions or escape from the Turing tarpit
Compositional specifications of parallel programs: Nondeterministic data flow
Building categorical data type programs
The concurrency factory–Practical tools for specification, simulation, verification, and implementation of concurrent systems
Operational implication of conditional unity properties
On the implementation of set-based parallel algorithms
On granularity of events in distributed computations
Atomic transactions for multiprocessor programming: A formal approach
A practical parallel programming model
A program building tool for parallel applications
Higher-order multiset programming
Specifying parallel programs in a functional language: The EPL experience
Developing molecular dynamics simulation codes using mixed language programming
Actor languages for specification of parallel computations
The mode system of moded flat GHC
ABCL/$f$: A future-based polymorphic typed concurrent object-oriented language–Its design and implementation
TLA in pictures
Specification, transformation, and programming of concurrent systems in rewriting logic
Constraint satisfaction as a basis for designing nonmasking fault-tolerance
A discipline of multiprogramming
Specification and development of parallel algorithms with the proteus system
Table of Contents provided by Publisher. All Rights Reserved.

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

FREE SHIPPING

Amazon no longer offers textbook rentals. We do!

Specification of Parallel Algorithms

Summary

Table of Contents

Supplemental Materials