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

18 citations · 59 across the 5 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.LO2016

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…