77 citations · 336 across the 21 of their papers we have counts for
1 paper · 2 filters
Rob van Glabbeek, Peter Höfner, Michael Markl
We propose a process algebra for link layer protocols, featuring a unique mechanism for modelling frame collisions. We also formalise suitable liveness properties for link layer pr…