Component-Based Adaptive Tasks Guided by Resource Contracts Peter Rigole K.U.Leuven Belgium.
Formalism and Platform for Autonomous Distributed Components Bio-inspired Networks and Services A Distributed Component Model Formalisation in Isabelle.