2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Rob van Glabbeek, Ursula Goltz, Christopher Lippert +1
We analyse two translations from the synchronous into the asynchronous π-calculus, both without choice, that are often quoted as standard examples of valid encodings, showing tha…