Modeling systems by probabilistic process algebra: An event structures approach (1993)

by J-P Katoen, R Langerak, D Latella
Venue:In Proceedings of FORTE '92 { Fifth International Conference onFormal Description Techniques