18 citations · 55 across the 4 of their papers we have counts for
5 papers
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 Timed Process Algebra for Wireless Networks
Emile Bres, Rob van Glabbeek, Peter Höfner
This paper proposes a timed process algebra for wireless networks, an extension of the Algebra for Wireless Networks. It combines treatments of local broadcast, conditional unicast…
CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
Rob van Glabbeek, Peter Höfner
In the process algebra community it is sometimes suggested that, on some level of abstraction, any distributed system can be modelled in standard process-algebraic specification fo…
A mechanized proof of loop freedom of the (untimed) AODV routing protocol
Timothy Bourke, Robert J. van Glabbeek, Peter Höfner
The Ad hoc On-demand Distance Vector (AODV) routing protocol allows the nodes in a Mobile Ad hoc Network (MANET) or a Wireless Mesh Network (WMN) to know where to forward data pack…