On Compositional Reasoning in the Spi-Calculus (2002)

by M Boreale, D Gorla
Venue:in Proc. of the Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS’02), Springer, LNCS 2303:67–81