( en | de | ru )

 

Disambiguation of "Mousavi, Mohammad Reza"

Author of the publication

copydeleteadd this publication to your clipboard
PARS: A Process Algebra with Resources and Schedulers.

, , , and . FORMATS, volume 2791 of Lecture Notes in Computer Science, page 134-150. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mohammad Reza Mohammad Khorasani

Mohammad Reza Alemzadeh

Mohammad Reza Tarazi

Mohammad-Reza Veschgini

Mohammad Reza Ahmadi

 

Other publications of authors with the same name

Robustness of Equations Under Operational Extensions, , and . EXPRESS, volume 41 of EPTCS, page 106-120. (2010)Orthogonal Extensions in Structural Operational Semantics., and . ICALP, volume 3580 of Lecture Notes in Computer Science, page 1214-1225. Springer, (2005)A framework for performance evaluation and functional verification in stochastic process algebras., , and . SAC, page 339-346. ACM, (2008)Input-output conformance testing based on featured transition systems., and . SAC, page 1272-1278. ACM, (2014)PARS: A Process Algebra with Resources and Schedulers., , , and . FORMATS, volume 2791 of Lecture Notes in Computer Science, page 134-150. Springer, (2003)Early Fault Detection in DSLs Using SMT Solving and Automated Debugging., , and . SEFM, volume 8137 of Lecture Notes in Computer Science, page 182-196. Springer, (2013)Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016)., and . J. Log. Algebraic Methods Program., (2019)Causal Reasoning for Safety in Hennessy Milner Logic., , and . Fundam. Informaticae, 173 (2-3): 217-251 (2020)Property-based Testing of Quantum Programs in Q#., , and . ICSE (Workshops), page 430-435. ACM, (2020)Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9)., , and . NII Shonan Meet. Rep., (2017)