Marco Aldinucci, Marco Danelutto, Peter Kilpatrick. Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming. In Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain, editors, Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Volume 5751 of Lecture Notes in Computer Science, pages 204-225, Springer, 2008. [doi]
Abstract is missing.