Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation.

Brijesh Dongol Ian J. Hayes Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. 3-12 2009 Australian Software Engineering Conference http://dx.doi.org/10.1109/ASWEC.2009.12 conf/aswec/2009 db/conf/aswec/aswec2009.html#DongolH09