Publisher's Synopsis
This book presents formal semantics of sequential and parallel programs and emphasises formal relationships between different mathematical description techniques. Providing a self-contained introduction to all the necessary mathematics, Case studies and exercises (some of them with solutions) help illustrate results