Media type: E-Article Title: Formal Aspects of Component Software: A Formal Approach to Autonomic Systems Programming: The SCEL Language : (Long Abstract) Contributor: De Nicola, Rocco Published: Springer International Publishing, 2015 Published in: Formal Aspects of Component Software (2015), Seite 24-28 Language: Not determined DOI: 10.1007/978-3-319-15317-9_2 ISBN: 9783319153162; 9783319153179 ISSN: 0302-9743; 1611-3349 Origination: Footnote: