Industrial deployment of system engineering methods providing high dependability and productivity
 

The role of auxiliary variables in the formal development of concurrent programs

Jones, C. B. (2010) The role of auxiliary variables in the formal development of concurrent programs. In: Reflections on the work of C.A.R. Hoare. Springer, pp. 167-188.

[img]PDF
Restricted to Registered users only
205Kb

Item Type:Book Section
Subjects:Methodology
ID Code:255
Deposited By:Prof Cliff Jones
Deposited On:29 Nov 2010 11:55
Last Modified:09 Dec 2010 15:37

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved