Concurrent Data Structures Linked in Time

Article Details
Title:	Concurrent Data Structures Linked in Time
Article URLs:	https://doi.org/10.4230/LIPIcs.ECOOP.2017.8
Alternative Article URLs:
Authors:	Germán Andrés Delbianco	IMDEA Software Institute, Madrid, Spain Universidad Politécnica de Madrid, Spain
	Ilya Sergey	University College London, United Kingdom
	Aleksandar Nanevski	IMDEA Software Institute, Madrid, Spain
	Anindya Banerjee	IMDEA Software Institute, Madrid, Spain
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	http://drops.dagstuhl.de/opus/volltexte/2017/7285/ http://software.imdea.org/fcsl/artifacts/fcsl-ecoop17.ova
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/ecoop/DelbiancoSNB17
Author Comments:	Updated versions of the Coq development are available on the FCSL project website, http://software.imdea.org/fcsl.

European Conference on Object-Oriented Programming, ECOOP 2017