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/}
}