Lecture Notes for Concurrent Programming

10 June 2003 - Atomicity and Synchronization


The combination of the individual statement post-conditions into the co-statement post-condition involves and introduction, which is the compliment to and elimination:

If you know that both the predicates A and B are true, then, by the and truth table, you know that the predicate A and B is true too.


This page last modified on 11 June 2003.