Files
Details
Title
Model Checking Transactional Memories
Author(s)
Guerraoui, Rachid ; Henzinger, Tom ; Singh, Vasu
Published in
ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
Pages
372–382
Conference
ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
Date
2008
Other identifier(s)
View record in Web of Science
View record in Web of Science
View record in Web of Science
Laboratories
DCL
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > DCL - Distributed Computing Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2008-02-22