Preliminary Version PMaude : Rewrite-based Specification Language for Probabilistic Object Systems

@inproceedings{Agha2005PreliminaryVP,
  title={Preliminary Version PMaude : Rewrite-based Specification Language for Probabilistic Object Systems},
  author={Gul A. Agha and Jos{\'e} Meseguer and Koushik Sen},
  year={2005}
}
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis and the characteristics of a high-level functional programming language. Furthermore, we provide tool support for performing discrete-event simulations of models written in PMaude… CONTINUE READING