https://www.sciweavers.org/publications/pmaude-rewrite-based-specification-language-probabilistic-object-systems
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems | Sciweavers
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems - We introduce a rewrite-based specification language for modelling probabilistic...
object systemsrewritebasedspecificationlanguage