Deriving symbolic representations from stochastic process algebras (2002)

by M Kuntz, M Siegle
Venue:Proc. 2nd Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV’02), volume 2399 of LNCS