A CSP-based framework for the specification, verification, and implementation of adaptive systems.

Bjrn Bartels, Moritz Kleine

Browse the full ICSE paper archive.