Jacopo Mauro's homepage
Jacopo Mauro's homepage
Publications
Projects
Teaching
Awards
Contact
Light
Dark
Automatic
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
Cite
×