Himpe, StefaanStefaanHimpeDeconinck, GeertGeertDeconinckCatthoor, FranckyFranckyCatthoor2021-10-152021-10-152004https://imec-publications.be/handle/20.500.12860/9032Semaphore transformations for task concurrency managementProceedings paper