( en | de | ru )

 

Disambiguation of "Mousavi, Mohammad Reza"

Author of the publication

copydeleteadd this publication to your clipboard
Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016).

, and . J. Log. Algebraic Methods Program., (2019)

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 Tarazi

Mohammad-Reza Veschgini

Mohammad Reza Sarvati

Mohammad Reza Ahmadi

 

Other publications of authors with the same name

Property-based Testing of Quantum Programs in Q#., , and . ICSE (Workshops), page 430-435. ACM, (2020)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)PARS: A Process Algebra with Resources and Schedulers., , , and . FORMATS, volume 2791 of Lecture Notes in Computer Science, page 134-150. Springer, (2003)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)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)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)Rapid and safe wire tension distribution scheme for redundant cable-driven parallel manipulators., , , and . Robotica, 40 (7): 2395-2408 (2022)