activity
20152024
most citedCCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions

18 citations · 60 across the 8 of their papers we have counts for

collaborators
Showing 2017Show all

2 papers · 1 filter

cs.LO2017★ 17 cited

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…

cs.LO2017★ 4 cited

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…