41 citations · 226 across the 36 of their papers we have counts for
5 papers · 1 filter
Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours
Nick Fischer, Rob van Glabbeek
In concurrency theory, weak bisimilarity is often used to relate processes exhibiting the same observable behaviour. The probabilistic environment gives rise to several generalisat…
Progress, Justness and Fairness
Rob van Glabbeek, Peter Höfner
Fairness assumptions are a valuable tool when reasoning about systems. In this paper, we classify several fairness properties found in the literature and argue that most of them ar…
A Theory of Encodings and Expressiveness
Rob van Glabbeek
This paper proposes a definition of what it means for one system description language to encode another one, thereby enabling an ordering of system description languages with respe…
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation
John P. Gallagher, Rob van Glabbeek, Wendelin Serwe
This volume contains the joint proceedings of MARS 2018, the third workshop on Models for Formal Analysis of Real Systems, and VPT 2018, the sixth international workshop on Verific…
On the Validity of Encodings of the Synchronous in the Asynchronous -calculus
Rob van Glabbeek
Process calculi may be compared in their expressive power by means of encodings between them. A widely accepted definition of what constitutes a valid encoding for (dis)proving rel…