Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctnes.

Robert J. Shaw Ronald A. Olsson Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctnes. 1525-1548 1996 conf/pdpta/1996 PDPTA db/conf/pdpta/pdpta1996.html#ShawO96