Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming.

Marco Aldinucci Marco Danelutto Peter Kilpatrick Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming. 204-225 2008 FMCO http://dx.doi.org/10.1007/978-3-642-04167-9_11 conf/fmco/2008 db/conf/fmco/fmco2008.html#AldinucciDK08