IPA Herfstdagen on Compositional Programming Methods
Compositional Programming Abstractions for Mobile Computing

Возможно речь идёт об этом?

> -- Цитата:
> Recent advances in wireless networking technology and the increasing demand for ubiquitous, mobile connectivity demonstrate the importance of providing reliable systems for managing reconfiguration and disconnection of components. Design of such systems requires tools and techniques appropriate to the task. Many formal models of computation, including UNITY, are not adequate for expressing reconfiguration and disconnection and are, therefore, inappropriate vehicles for investigating the impact of mobility on the construction of modular and composable systems.Похоже на вариант компонентного программирования...