Sciweavers

CIE
2008
Springer

Implementing Spi Calculus Using Nominal Techniques

14 years 1 months ago
Implementing Spi Calculus Using Nominal Techniques
Temesghen Kahsai, Marino Miculan
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where CIE
Authors Temesghen Kahsai, Marino Miculan
Comments (0)