There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specificatio

This book presents the state of the art in parallel numerical algorithms, applications, architectures, and system software. The book examines various solutions

This volume provides the proceedings of the First European Workshop on Parallel Processing Techniques for Simulation which was held at the end of October 1985.

Since the publication of the first edition, parallel computing technology has gained considerable momentum. A large proportion of this has come from the improve