Controlling Non-determinism for Semantic Guarantees

Controlling Non-determinism for Semantic Guarantees.pdf
PDF file

In  Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2)

Details

TypeInproceedings
> Publications > Controlling Non-determinism for Semantic Guarantees