On the Expressiveness of Synchronization in Component Deployment

Jacopo Mauro, Gianluigi Zavattaro
January 2016
PDF Cite DOI
Publication
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday