Bravetti, M., Carbone, M.,
Lange, J., Yoshida, N. & Zavattaro, G.,
20 Aug 2019,
30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.).
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing,
16 p. 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution