Two Abstractions for Distributed Systems of Mobile Nodes | IEEE Conference Publication | IEEE Xplore