@article{ZHU Zhen-yu:523, author = {ZHU Zhen-yu, ZHANG Shi, JIANG Jian-min, WU Ya-zhou and YANG Qi-fan}, title = {Analyzing Scheduling Based on Priority in Concurrent Systems}, publisher = {Computer Science}, year = {2016}, journal = {Computer Science}, volume = {43}, number = {Z11}, eid = {523}, numpages = {5}, pages = {523}, keywords = {Priority,Scheduling policy,Decomposition,Correctness}, url = {https://www.jsjkx.com/EN/abstract/article_15478.shtml}, doi = {10.11896/j.issn.1002-137X.2016.11A.118} }