A contract language for race-freedom
By Rajesh Kumar Karmani and P Madhusudan. In Position Paper, Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) with CAV. 2010.
BibTeX
@inproceedings{ec2-2010,
author = "Karmani, Rajesh Kumar and Madhusudan, P",
title = "A Contract Language for Race-Freedom",
booktitle = "Position Paper, Workshop on Exploiting
Concurrency Efficiently and Correctly (EC2) with CAV",
keywords = "software engineering, programming languages",
year = "2010",
}