Back
  1. Home
  3. Detailled Reference
Download
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
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
Permalink
https://hdl.handle.net/10993/50042
DOI
10.1109/LICS52264.2021.9470531
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
LICS21.pdf
Author postprint (423.98 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
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)
External co-authors :
yes
Language :
English
Title :
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Publication date :
2021
Event name :
LICS 2021
Event date :
29 June - 2 July 2021
Main work title :
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '21)
Publisher :
IEEE
Pages :
1-16
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Additional URL :
https://satoss.uni.lu/members/ross/pdf/LICS21.pdf
Available on ORBilu :
since 26 January 2022

Statistics

Number of views
58 (0 by Unilu)
Number of downloads
14 (0 by Unilu)
More statistics

Bibliography

Similar publications


Contact ORBilu