3 ms·

Thanks. Interestingly, that paper uses a variant of pi-calculus, i.e. an idealised programming language for message passing, as 'games'.