Specification and verification of synchronization with condition variables.
Saved in:
| Title: | Specification and verification of synchronization with condition variables. |
|---|---|
| Authors: | De C. Gomes, Pedro1, pedrodcg@kth.se, Gurov, Dilian1, dilian@kth.se, Huisman, Marieke2, m.huisman@utwente.nl, Artho, Cyrille1, artho@kth.se |
| Source: | Science of Computer Programming; Oct2018, Vol. 163, p174-189, 16p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01676423 |
|---|---|
| DOI: | 10.1016/j.scico.2018.05.001 |
