Bibliography
Analysis of Mobile Agents using Invariants of Object Nets
Michael Köhler-Bußmeier and Daniel Moldt.
Analysis of mobile agents using invariants of object nets.
Electronic Communications of the EASST: Special Issue on Formal
Modeling of Adaptive and Mobile Processes, 12, 2009.
http://www.easst.org/eceasst/.
BibTeX
@Article{Koehler+09h,
author = {K{\"o}hler-Bu{\ss}meier, Michael and Moldt, Daniel},
title = {Analysis of Mobile Agents using Invariants of Object Nets},
year = 2009,
journal = "Electronic Communications of the EASST: Special Issue on
Formal Modeling of Adaptive and Mobile Processes",
volume = {12},
note = {http://www.easst.org/eceasst/}
}
