conference paper

Model Checking Transactional Memories

Guerraoui, Rachid  
•
Henzinger, Tom
•
Singh, Vasu
2008
ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
Type
conference paper
DOI
10.1145/1375581.1375626
Web of Science ID

WOS:000257820400034

WOS:000266617300034

Author(s)
Guerraoui, Rachid  
Henzinger, Tom
Singh, Vasu
Date Issued

2008

Published in
ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
Start page

372

End page

382

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DCL  
Event name
ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
Available on Infoscience
February 22, 2008
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/18976