External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study

Xavier Hannotin, Paolo Maggi, Riccardo Sisto. Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. In Andrea Omicini, Mirko Viroli, editors, WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop From Objects to Agents : Evolutive Trends of Software Systems, 4-5 September 2001, Modena, Italy. pages 36-41, Pitagora Editrice Bologna, 2001.

Authors

Xavier Hannotin

This author has not been identified. Look up 'Xavier Hannotin' in Google

Paolo Maggi

This author has not been identified. Look up 'Paolo Maggi' in Google

Riccardo Sisto

This author has not been identified. Look up 'Riccardo Sisto' in Google
runs on