Modelling Network Performance with a Spatial Stochastic Process Algebra | IEEE Conference Publication | IEEE Xplore