Proving Linearizability Using Forward Simulations

Article Details
Title:	Proving Linearizability Using Forward Simulations
Article URLs:	https://doi.org/10.1007/978-3-319-63390-9_28
Alternative Article URLs:
Authors:	Ahmed Bouajjani	Univ. Paris Diderot, IRIF
	Michael Emmi	Nokia Bell Labs
	Constantin Enea	Univ. Paris Diderot, IRIF
	Suha Orhun Mutluergil	Koc University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://arxiv.org/abs/1702.02705
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/BouajjaniEEM17
Author Comments:

Computer Aided Verification, CAV 2017