Implementing Spi Calculus using Nominal techniques

Kahsai Temesghen, Miculan Marino
2008-01-01
Cite DOI
Type
Conference paper