Amazon.com description: Product Description: The PASA workshops aim to build a bridge between theory and practice in the area of parallel systems and algorithms. Practical problems which require theoretical investigations as well as the applicability of theoretical approaches and results to practice are discussed. A particularly important aspect is the communication and exchange of experiences between various groups working in various areas of parallel computing. This volume discusses many aspects of parallel computing from a theoretical as well as a practical oriented point of view. It shows that there are a number of approaches for the application of formal methods to the solution of practical problems in the area of parallel systems and algorithms.