Wei Liu, Lu Wang, Yuyue Du, Maozhen Li. Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure. International Journal of Parallel Programming, 45(4):879-898, 2017. [doi]
@article{LiuWDL17,
title = {Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure},
author = {Wei Liu and Lu Wang and Yuyue Du and Maozhen Li},
year = {2017},
doi = {10.1007/s10766-016-0440-7},
url = {https://doi.org/10.1007/s10766-016-0440-7},
researchr = {https://researchr.org/publication/LiuWDL17},
cites = {0},
citedby = {0},
journal = {International Journal of Parallel Programming},
volume = {45},
number = {4},
pages = {879-898},
}