Towards the Verification of Adaptable Processes.

Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro

Browse the full ISoLA paper archive.