Specification of Parallel Algorithms

Contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. This book contains topics such as specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, and parallel language and system abstractions.