Towards Global and Local Types for Adaptation

Mario Bravetti; Marco Carbone; Thomas T. Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A. Pérez; Gianluigi Zavattaro

doi:10.1007/978-3-319-05032-4_1

Towards Global and Local Types for Adaptation

Mario Bravetti^*, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro

^*Corresponding author for this work

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

12 Citations (Scopus)

Original language	English
Title of host publication	Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops:
Subtitle of host publication	BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013
Place of Publication	Madrid, Spain
Pages	3-14
Number of pages	12
Edition	Revised Selected Papers
DOIs	https://doi.org/10.1007/978-3-319-05032-4_1
Publication status	Published - 2013

Access to Document

10.1007/978-3-319-05032-4_1

http://dx.doi.org/10.1007/978-3-319-05032-4_1

Cite this

Bravetti, M., Carbone, M., Hildebrandt, T. T., Lanese, I., Mauro, J., Pérez, J. A., & Zavattaro, G. (2013). Towards Global and Local Types for Adaptation. In Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013 (Revised Selected Papers ed., pp. 3-14). https://doi.org/10.1007/978-3-319-05032-4_1

Bravetti, Mario ; Carbone, Marco ; Hildebrandt, Thomas T. ; Lanese, Ivan ; Mauro, Jacopo ; Pérez, Jorge A. ; Zavattaro, Gianluigi. / Towards Global and Local Types for Adaptation. Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013 . Revised Selected Papers. ed. Madrid, Spain, 2013. pp. 3-14

@inproceedings{9ecd2878624b48f89f1df8d8acf815bb,

title = "Towards Global and Local Types for Adaptation",

author = "Mario Bravetti and Marco Carbone and Hildebrandt, {Thomas T.} and Ivan Lanese and Jacopo Mauro and P{\'e}rez, {Jorge A.} and Gianluigi Zavattaro",

year = "2013",

doi = "10.1007/978-3-319-05032-4_1",

language = "English",

pages = "3--14",

booktitle = "Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops:",

edition = "Revised Selected Papers",

}

Bravetti, M, Carbone, M, Hildebrandt, TT, Lanese, I, Mauro, J, Pérez, JA & Zavattaro, G 2013, Towards Global and Local Types for Adaptation. in Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013 . Revised Selected Papers edn, Madrid, Spain, pp. 3-14. https://doi.org/10.1007/978-3-319-05032-4_1

Towards Global and Local Types for Adaptation. / Bravetti, Mario; Carbone, Marco; Hildebrandt, Thomas T.; Lanese, Ivan; Mauro, Jacopo; Pérez, Jorge A.; Zavattaro, Gianluigi.

Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013 . Revised Selected Papers. ed. Madrid, Spain, 2013. p. 3-14.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Towards Global and Local Types for Adaptation

AU - Bravetti, Mario

AU - Carbone, Marco

AU - Hildebrandt, Thomas T.

AU - Lanese, Ivan

AU - Mauro, Jacopo

AU - Pérez, Jorge A.

AU - Zavattaro, Gianluigi

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-319-05032-4_1

DO - 10.1007/978-3-319-05032-4_1

M3 - Conference contribution

SP - 3

EP - 14

BT - Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops:

CY - Madrid, Spain

ER -

Bravetti M, Carbone M, Hildebrandt TT, Lanese I, Mauro J, Pérez JA et al. Towards Global and Local Types for Adaptation. In Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013 . Revised Selected Papers ed. Madrid, Spain. 2013. p. 3-14 https://doi.org/10.1007/978-3-319-05032-4_1