Semantics of Sequential and Parallel Programs

Semantics of Sequential and Parallel Programs, 1/e

Eike Best

Published August, 1996 by Prentice Hall PTR (ECS Professional)

See other books about:
Theory of Programming Languages-Computer Science

Based on an in-depth study of the most widely-used methods for achieving correctness in program design, this book presents the formal semantics of sequential and parallel programs and emphasizes formal relationships between different mathematical description techniques. Covers the semantics of sequential programs; sequential vs. parallel systems; control programs and Petri Nets; Operational semantics and fairness; programs with shared data; communicating programs; proofs and solutions. For computer scientists and mathematicians.