48 citations · 124 across the 18 of their papers we have counts for
1 paper · 2 filters
Vashti Galpin, Jane Hillston, Federica Ciocchetta
Semantic equivalences are used in process algebra to capture the notion of similar behaviour, and this paper proposes a semi-quantitative equivalence for a stochastic process algeb…