Sigh. No mention of logic verification that there are no race conditions. Problem has been solved by Dr Holzmann at JPL http://www.verticalsysadmin.com/making_

Sigh. No mention of logic verification that there are no race conditions. Problem has been solved by Dr Holzmann at JPL http://www.verticalsysadmin.com/making_robust_software/ http://www.verticalsysadmin.com/making_robust_software/