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

Xavier Hannotin Paolo Maggi Riccardo Sisto

Published in: WOA (2001)

Keyphrases

mobile agents
client server
data integrity
database design
distributed systems
case study
data structure
load balancing
fault tolerance
data storage
data mining
information systems
database systems
digital libraries
database applications