Köhler-Bußmeier, M. and Moldt, D. (2009) “Analysis of Mobile Agents using Invariants of Object Nets”, Electronic Communications of the EASST, 12. doi: 10.14279/tuj.eceasst.12.231.