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
Share
