Paper: Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom (at LICS 2021)
Authors: Rob van Glabbeek Peter Höfner Ross Horne
Abstract
No Abstract Available
BibTeX
@InProceedings{HfnerHorne-AssumingJustEnoughF, author = {Rob van Glabbeek and Peter Höfner and Ross Horne}, title = {Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom}, booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)}, year = {2021}, month = {June}, pages = {1--13}, location = {Rome, Italy}, publisher = {IEEE Computer Society Press} }