TY  - RPRT
TI  - A Trace Based Bisimulation for the Spi Calculus
AU  - Alwen Tiu
PY  - 2009
UR  - https://arxiv.org/abs/0901.2166
ID  - 0901.2166
ER  -