Return to Article Details Formal Specification and Verification of Mobile Agent Systems Download Download PDF