Xavier Hannotin Paolo Maggi Riccardo Sisto Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. 36-41 2001 conf/woa/2001 WOA db/conf/woa/woa2001.html#HannotinMS01