Stronger Validity Criteria for Encoding Synchrony

Rob van Glabbeek, Ursula Goltz, Christopher Lippert +1

We analyse two translations from the synchronous into the asynchronous $\ddot{I}€$-calculus, both without choice, that are often quoted as standard examples of valid encodings, showing th…