Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
OK
Please make all selections above before adding to cart
OK
Share this page via the icons above, or by copying the link below:
Copy To Clipboard
Successfully Copied!
Specification of Parallel Algorithms
 
Edited by: Guy E. Blelloch Carnegie Mellon University, Pittsburgh, PA
K. Mani Chandy California Institute of Technology, Pasadena, CA
Suresh Jagannathan NEC Research Institute, Princeton, NJ
A co-publication of the AMS and DIMACS
Specification of Parallel Algorithms
Hardcover ISBN:  978-0-8218-0253-3
Product Code:  DIMACS/18
List Price: $114.00
MAA Member Price: $102.60
AMS Member Price: $91.20
eBook ISBN:  978-1-4704-3976-7
Product Code:  DIMACS/18.E
List Price: $107.00
MAA Member Price: $96.30
AMS Member Price: $85.60
Hardcover ISBN:  978-0-8218-0253-3
eBook: ISBN:  978-1-4704-3976-7
Product Code:  DIMACS/18.B
List Price: $221.00 $167.50
MAA Member Price: $198.90 $150.75
AMS Member Price: $176.80 $134.00
Specification of Parallel Algorithms
Click above image for expanded view
Specification of Parallel Algorithms
Edited by: Guy E. Blelloch Carnegie Mellon University, Pittsburgh, PA
K. Mani Chandy California Institute of Technology, Pasadena, CA
Suresh Jagannathan NEC Research Institute, Princeton, NJ
A co-publication of the AMS and DIMACS
Hardcover ISBN:  978-0-8218-0253-3
Product Code:  DIMACS/18
List Price: $114.00
MAA Member Price: $102.60
AMS Member Price: $91.20
eBook ISBN:  978-1-4704-3976-7
Product Code:  DIMACS/18.E
List Price: $107.00
MAA Member Price: $96.30
AMS Member Price: $85.60
Hardcover ISBN:  978-0-8218-0253-3
eBook ISBN:  978-1-4704-3976-7
Product Code:  DIMACS/18.B
List Price: $221.00 $167.50
MAA Member Price: $198.90 $150.75
AMS Member Price: $176.80 $134.00
  • Book Details
     
     
    DIMACS - Series in Discrete Mathematics and Theoretical Computer Science
    Volume: 181994; 399 pp
    MSC: Primary 68;

    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
     
     
    • Chapters
    • 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 algorithm specifications
    • 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
  • Requests
     
     
    Review Copy – for publishers of book reviews
    Accessibility – to request an alternate format of an AMS title
Volume: 181994; 399 pp
MSC: Primary 68;

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.

  • Chapters
  • 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 algorithm specifications
  • 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
Review Copy – for publishers of book reviews
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.