77 citations · 336 across the 21 of their papers we have counts for
1 paper · 2 filters
Rob van Glabbeek, Peter Höfner, Ross Horne
We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix a minimal session cal…