Implementing Spi Calculus using Nominal techniques