Translating Pi-Calculus into LOTOS NT.

Radu Mateescu, Gwen Salan

Browse the full IFM paper archive.