Pmaude: rewrite-based specification language for probabilistic object systems

By Gul Agha, Jose Meseguer, and Koushik Sen. In 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL 05). 2005.

BibTeX

@inproceedings{qapl05,
    author = "Agha, Gul and Meseguer, Jose and Sen, Koushik",
    title = "PMaude: Rewrite-based Specification Language for
             Probabilistic Object Systems",
    booktitle = "3rd Workshop on Quantitative Aspects of
                 Programming Languages (QAPL 05)",
    keywords = "formal methods",
    year = "2005",
}