This site has been permanently archived. This is a static copy provided by the University of Southampton.

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