Welcome to the new Infoscience! Our institutional repository evolved to a new platform on July 22. We hope you will enjoy the new features, we will continue to improve it over the coming weeks. Do not hesitate to send feedback to infoscience@epfl.ch.
 
Loading...
Thumbnail Image
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)
Loading...
Thumbnail Image
Name

PLDI_paper.pdf

Access type

openaccess

Size

196.86 KB

Format

Adobe PDF

Checksum (MD5)

c6632d59890da774cf12a76f8f6ef671