Building a Formal Framework for Mobile Ad Hoc Computing.

Published in: International Conference on Computational Science (2004)