Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom

van Glabeek, Robert J.; Höfner, Peter; HORNE, Ross James

doi:10.1109/LICS52264.2021.9470531

Télécharger

Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom

van Glabeek, Robert J.; Höfner, Peter; HORNE, Ross James

2021 • In 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '21)

Peer reviewed

Permalien
https://hdl.handle.net/10993/50042

DOI
10.1109/LICS52264.2021.9470531

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

LICS21.pdf

Postprint Auteur (423.98 kB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

van Glabeek, Robert J.

Höfner, Peter

HORNE, Ross James ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom

Date de publication/diffusion :

2021

Nom de la manifestation :

LICS 2021

Date de la manifestation :

29 June - 2 July 2021

Titre de l'ouvrage principal :

36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '21)

Maison d'édition :

IEEE

Pagination :

1-16

Peer reviewed :

Peer reviewed

Focus Area :

Security, Reliability and Trust

URL complémentaire :

https://satoss.uni.lu/members/ross/pdf/LICS21.pdf

Disponible sur ORBilu :

depuis le 26 janvier 2022

Statistiques

Nombre de vues

83 (dont 0 Unilu)

Nombre de téléchargements

45 (dont 0 Unilu)

Voir plus de statistiques

citations OpenAlex