Formalizing Properties of Mobile Agent Systems.

Lorenzo Bettini, Rocco De Nicola, Michele Loreti

Browse the full Coordination paper archive.