Performance Modeling of Scalable Resource Allocations with the Imperial PEPA Compiler | IEEE Conference Publication | IEEE Xplore