Xinfeng Shu, Zhenhua Duan. Extending MSVL with Semaphore. In Thang N. Dinh, My T. Thai, editors, Computing and Combinatorics - 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings. Volume 9797 of Lecture Notes in Computer Science, pages 599-610, Springer, 2016. [doi]
Abstract is missing.