Return to Article Details Analysis of Mobile Agents using Invariants of Object Nets Download Download PDF