Gul A. Agha, José Meseguer, Koushik Sen
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
QAPL, 2006.
@article{QAPL-2005-AghaMS06, author = "Gul A. Agha and José Meseguer and Koushik Sen", doi = "10.1016/j.entcs.2005.10.040", journal = "{Electronic Notes in Theoretical Computer Science}", number = 2, pages = "213--239", title = "{PMaude: Rewrite-based Specification Language for Probabilistic Object Systems}", volume = 153, year = 2006, }