Temesghen Kahsai Marino Miculan Implementing Spi Calculus Using Nominal Techniques. 294-305 2008 CiE http://dx.doi.org/10.1007/978-3-540-69407-6_33 conf/cie/2008 db/conf/cie/cie2008.html#KahsaiM08