Controlling Non-determinism for Semantic Guarantees

Sriram Rajamani, G Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani

Details

Publication typeInproceedings
Published inProceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2)
> Publications > Controlling Non-determinism for Semantic Guarantees