On the Expressiveness of Synchronization in Component Deployment

Jacopo Mauro, Gianluigi Zavattaro. On the Expressiveness of Synchronization in Component Deployment. In Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen, editors, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Volume 9660 of Lecture Notes in Computer Science, pages 344-359, Springer, 2016. [doi]

Authors

Jacopo Mauro

This author has not been identified. Look up 'Jacopo Mauro' in Google

Gianluigi Zavattaro

This author has not been identified. Look up 'Gianluigi Zavattaro' in Google