A Spatial Extension to the π Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
In recent years there has been an increased interest in modelling systems whose structure changes dynamically, for example to study mobility. At the same time, there is a plethora of simulation languages for discrete-event systems that include an explicit notion of time, but few, if any, support explicitly the notion of structural change. In this paper we introduce a process description language which addresses these issues explicitly. We discuss an application to modelling networks of servers.