Industrial deployment of system engineering methods providing high dependability and productivity

 

Elucidating concurrent algorithms via layers of abstraction and reification

Jones, Cliff B. and Pierce, Ken G. (2010) Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, online .

Full text not available from this repository.

Official URL: http://www.springerlink.com/content/e52509k41r31g880/


Item Type:Article
Subjects:Methodology
ID Code:257
Deposited By:Prof Cliff Jones
Deposited On:29 Nov 2010 11:54
Last Modified:29 Nov 2010 11:54

Repository Staff Only: item control page

Deploy-Project - All right reserved