DMCA

On Compositional Reasoning in the Spi-calculus (2002)

by Michele Boreale , Daniele Gorla
Venue:In Proc. of the 5th International Conference on Foundations of Software Science and Computation Structures (FossaCS’02), volume 2303 of LNCS
Citations:8 - 1 self