Search
Now showing items 1-1 of 1
(Research report / Forskningsrapport, 2014)
PSMaude is a probabilistic extension of Maude that provides an expressive probabilistic strategy language to quantify the nondeterminism in probabilistic rewrite theories, allowing the user to specify different probabilistic ...