20 citations · 76 across the 16 of their papers we have counts for
1 paper · 2 filters
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…