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

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


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/50042

Title :	Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Language :	English
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)]
Publication date :	2021
Main document title :	36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '21)
Publisher :	IEEE
Pages :	1-16
Peer reviewed :	Yes
Event name :	LICS 2021
Event date :	29 June - 2 July 2021
Permalink :	http://hdl.handle.net/10993/50042
DOI :	10.1109/LICS52264.2021.9470531
Other URL :	https://satoss.uni.lu/members/ross/pdf/LICS21.pdf

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	LICS21.pdf		Author postprint	414.04 kB	View/Open

All documents in ORBi^lu are protected by a user license.