Implementing Spi Calculus Using Nominal Techniques.

Temesghen Kahsai, Marino Miculan

Browse the full CiE paper archive.