@InProceedings{BCG:IFIPTCS10,
  author    =   {M. Boreale, D. Clark and D. Gorla},
  title     =   {A Semiring-based Trace Semantics for Processes with Applications to Information Leakage Analysis},
  editor    =   {C. Calude and V. Sassone},
  booktitle =   {Proc. of 6th International IFIP Conference on Theoretical Computer Science (IFIP-TCS 2010)},
  series    =   {},
  volume    = 	{},
  pages     =  	{},
  year      =  	{2010},
  publisher =   {Springer},
}