This is a teaser video for a paper by the same title, presented at the International Conference on Concurrency Theory (CONCUR) 2021.
Copy and paste the code below into the source of another web page.