Open Systems Laboratory at Illinois

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",
}