Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro. Towards Global and Local Types for Adaptation. In Steve Counsell, Manuel Núñez, editors, Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Volume 8368 of Lecture Notes in Computer Science, pages 3-14, Springer, 2013. [doi]
Abstract is missing.