On the Expressiveness of Synchronization in Component Deployment

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