Towards automatic bisimilarity checking in the spi calculus (1999)

by A S Elkjaer, M Hohle, H Huttel, K O Nielsen
Venue:In Proceedings DMTCS'99+CATS'99