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.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…
cs.SE2010
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures
MohammadReza Mousavi, Gwen Salaün
This volume contains the proceedings of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2010 was held…