Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
ISCC '10 Proceedings of the The IEEE symposium on Computers and Communications
Hi-index | 0.00 |
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.