Abstract:
This talk extends a formal model of computing based on location based diffusion communications introduced some years ago. In this model directed broadcasting communications, instead of largely used point-to-point communication schemes, are the unique interaction primitives. For this model we have developed a process calculus for reconfigurable communicating systems based on mobile processes. We have provided a full operational semantics for this calculus [2,3] and we illustrate its expressiveness through some examples taken from complementary classes of applications.