Jacopo Mauro's homepage
Jacopo Mauro's homepage
Home
Publications
Projects
Teaching
Awards
Contact
Light
Dark
Automatic
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies
Maurizio Gabbrielli
,
Saverio Giallorenzo
,
Ivan Lanese
,
Jacopo Mauro
January, 2019
PDF
Cite
DOI
URL
Type
Conference paper
Publication
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Cite
×