41 citations · 226 across the 36 of their papers we have counts for
5 papers · 2 filters
Ensuring Liveness Properties of Distributed Systems (A Research Agenda)
Rob van Glabbeek
Often fairness assumptions need to be made in order to establish liveness properties of distributed systems, but in many situations these lead to false conclusions. This document p…
Analysing Mutual Exclusion using Process Algebra with Signals
Victor Dyseryn, Rob van Glabbeek, Peter Höfner
In contrast to common belief, the Calculus of Communicating Systems (CCS) and similar process algebras lack the expressive power to accurately capture mutual exclusion protocols wi…
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack
Rob van Glabbeek, Peter Höfner
We present a formal model for a fragmentation and a reassembly protocol running on top of the standardised CAN bus, which is widely used in automotive and aerospace applications. A…
A Branching Time Model of CSP
Rob van Glabbeek
I present a branching time model of CSP that is finer than all other models of CSP proposed thus far. It is obtained by taking a semantic equivalence from the linear time - branchi…
An Algebraic Treatment of Recursion
Rob van Glabbeek
I review the three principal methods to assign meaning to recursion in process algebra: the denotational, the operational and the algebraic approach, and I extend the latter to ung…