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