Axiomatic Semantics of Communicating Sequential Processes

Abstract

A simple definition of the axiomatic semantics of Communicating Sequential Processes is presented.The most important aspect of the approach is that it allows dealing with the individual processes of a program in isolation from the other processes.The axiomatic semantics is used to prove the correctness of a program for partitioning sets.