We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1810.02053 can endorse.

Proceedings 11th Interaction and Concurrency Experience

Massimo Bartoletti and Sophia Knight are not registered as owners of this paper. (why?)