Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical

The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a

An unparalleled learning tool and guide to error correction coding Error correction coding techniques allow the detection and correction of errors occurring dur

Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a m

"Intended for upper-level undergraduate and graduate courses in chemistry, physics, math and engineering, this book will also become a must-have for the persona