Stochastic and Spatial Equivalences for PALOMA
  We concentrate our study on a recent process algebra - PALOMA - intended to capture interactions between spatially distributed agents, for example in collective adaptive systems. New agent-based semantic rules for deriving the underlying continuous time Markov chain are given in terms of State to Function Labelled Transition Systems. Furthermore we define a bisimulation with respect to an isometric transformation of space allowing us to compare PALOMA models with respect to their relative rather than absolute locations. 
Paul Piho (School of Informatics, University of Edinburgh), Jane   Hillston (School of Informatics, University of Edinburgh)
cs.LO