Controlling Non-determinism for Semantic Guarantees
Sriram Rajamani, G Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani
June 2008
 PDF file |
In: Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2)
Details
| Type: | Inproceedings |
Related Projects
Related People
Related Labs
©2009 Microsoft Corporation. All rights reserved.