6 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.LO2011
Proceedings First International Workshop on Process Algebra and Coordination
Luca Aceto, Mohammad Reza Mousavi
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and progra…
cs.SE2011
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures
Mohammad Reza Mousavi, Antonio Ravara
Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous…
cs.LO2010★ 6 cited
Robustness of Equations Under Operational Extensions
Peter D. Mosses, MohammadReza Mousavi, Michel A. Reniers
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are…