Spi Calculus Translated to ?--Calculus Preserving May-Tests.

Michael Baldamus, Joachim Parrow, Bjrn Victor

Browse the full LICS paper archive.