Tiu, Alwen2015-12-10November 29783540766360http://hdl.handle.net/1885/39172A trace based bisimulation for the spi calculus20072015-12-09