Industrial deployment of system engineering methods providing high dependability and productivity
 

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

Jones, Cliff B (2009) The role of auxiliary variables in the formal development of concurrent programs. Technical Report. Newcastle University , Newcastle upon Tyne .

[img]PDF
Restricted to Registered users only until 2009.
190Kb

Item Type:Monograph (Technical Report)
Subjects:Methodology
ID Code:185
Deposited By:Miss Jodi Hossbach
Deposited On:12 Jan 2010 10:10
Last Modified:19 Apr 2010 16:05

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