Lucia Cloth Henrik C. Bohnenkamp Boudewijn R. Haverkort Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. 152-167 2001 conf/papm/2001 PAPM-PROBMIV http://dx.doi.org/10.1007/3-540-44804-7_10 db/conf/papm/papm2001.html#ClothBH01