On the Expressiveness of Synchronization in Component Deployment

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