Before revision:  Moreover, we show that when the locations of users and resources are modeled by statistical point processes,  the spatial system under unidirectional policies can be mapped to a temporal queuing system , thus allowing the application of a plethora of queuing theory results that yield closed form expressions.
After revision:  Moreover, we show that when user and resource locations are modeled by statistical point processes, the spatial system under unidirectional policies can be mapped to a temporal queuing system , thus allowing the application of a plethora of queuing theory results that yield closed form expressions.