@InProceedings{BG:FoSSaCs02,
  author    =   {M. Boreale and D. Gorla},
  title     =   {On Compositional Reasoning in the Spi-Calculus},
  editor    =   {M. Nielsen and U. Engberg},
  booktitle =   {Proc. of 5th Intern.Conf. on Foundations of Software Science and Computation Structures (FoSSaCS'02)},
  series    =   {LNCS},
  volume    =  	{2303},
  pages     = 	{67--81},
  year      =  	{2002},
  publisher =   {Springer},
}