Specification and verification of synchronization with condition variables
| Autor: | de C. Gomes, Pedro a, ⁎, Gurov, Dilian a, Huisman, Marieke b, 1, Artho, Cyrille a |
|---|---|
| Zdroj: | In Science of Computer Programming 1 October 2018 163:174-189 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect