Media type: E-Article Title: Theory and Practice of Formal Methods: On the Expressiveness of Synchronization in Component Deployment Contributor: Mauro, Jacopo; Zavattaro, Gianluigi imprint: Springer International Publishing, 2016 Published in: Theory and Practice of Formal Methods Language: Not determined DOI: 10.1007/978-3-319-30734-3_23 ISSN: 0302-9743; 1611-3349 Origination: Footnote: