1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…