98 citations · 569 across the 35 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
cs.LO2010★ 4 cited
On CSP and the Algebraic Theory of Effects
Rob van Glabbeek, Gordon Plotkin
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors or effect deconstructors; it also provides a link with…
cs.LO2010★ 14 cited
Characterising Probabilistic Processes Logically
Yuxin Deng, Rob van Glabbeek
In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-…
cs.LO2010★ 12 cited
The Coarsest Precongruences Respecting Safety and Liveness Properties
Rob van Glabbeek
This paper characterises the coarsest refinement preorders on labelled transition systems that are precongruences for renaming and partially synchronous interleaving operators, and…