( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016).

, и . 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.

Mohammad Reza Mohammad Khorasani

Mohammad Reza Tarazi

Mohammad-Reza Veschgini

Mohammad Reza Sarvati

Mohammad Reza Ahmadi

 

Другие публикации лиц с тем же именем

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