2004): Spi Calculus Translated to π-Calculus Preserving May-Tests (2004)

by M Baldamus, J Parrow, B Victor
Venue:In: Proceedings 19th IEEE Symposium on Logic in Computer Science (LICS 2004