Mario Bravetti, Cinzia Di Giusto, Jorge Pérez, Gianluigi Zavattaro. Adaptable Processes (Extended Abstract). Roberto Bruni; Juergen Dingel. 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2011, Reykjavik,, Iceland
HAL Archives-Ouvertes,
Mario Bravetti, Cinzia Di Giusto, Jorge Pérez, Gianluigi Zavattaro. Adaptable Processes (Extended Abstract).