Sciweavers

IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
13 years 11 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün