Yiheng Tang, Thomas Moor. Compositional non-blockingness verification of finite automata with prioritised events. Discrete Event Dynamic Systems, 34(1):125-161, 2024. [doi]
@article{TangM24-0,
title = {Compositional non-blockingness verification of finite automata with prioritised events},
author = {Yiheng Tang and Thomas Moor},
year = {2024},
doi = {10.1007/s10626-024-00394-2},
url = {https://doi.org/10.1007/s10626-024-00394-2},
researchr = {https://researchr.org/publication/TangM24-0},
cites = {0},
citedby = {0},
journal = {Discrete Event Dynamic Systems},
volume = {34},
number = {1},
pages = {125-161},
}