Featured Concurrency of Mobile ad hoc Computing

Abstract

Mobile ad hoc computing (MAC) is a form of concurrent computing by which computational processes are executed in parallel by assigning each computational process to one of mobile devices on a mobile ad hoc network (MANET). The overall goal of MAC is to support such MANETs capable of management and high performance. Meeting this grand challenge of MAC requires that MANET processes concurrency not tackled before is necessarily featured. To this end, this paper presents a firm formal development for featuring concurrency of MANET processes.