PMaude: Rewrite-based specification language for probabilistic object systems (2005)

by G Agha, J Meseguer, K Sen
Venue:In Proc. 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL’05