Media type: E-Article Title: Formal Aspects of Component Software: Formalising Adaptation Patterns for Autonomic Ensembles Contributor: Cesari, Luca; De Nicola, Rocco; Pugliese, Rosario; Puviani, Mariachiara; Tiezzi, Francesco; Zambonelli, Franco Published: Springer International Publishing, 2014 Published in: Formal Aspects of Component Software (2014), Seite 100-118 Language: Not determined DOI: 10.1007/978-3-319-07602-7_8 ISBN: 9783319076010; 9783319076027 ISSN: 0302-9743; 1611-3349 Origination: Footnote: