On Compositional Reasoning in the Spi-calculus.

Michele Boreale, Daniele Gorla

Browse the full FOSSACS paper archive.