Axiomatic semantics of communicating sequential processes
Nachimuthu Soundararajan · ACM Transactions on Programming Languages and Systems · 1984
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.