Madiel Conserva Filho, Marcel Vinicius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti. Compositional and local livelock analysis for CSP. Inf. Process. Lett., 133:21-25, 2018. [doi]
@article{FilhoOSC18,
title = {Compositional and local livelock analysis for CSP},
author = {Madiel Conserva Filho and Marcel Vinicius Medeiros Oliveira and Augusto Sampaio and Ana Cavalcanti},
year = {2018},
doi = {10.1016/j.ipl.2017.12.011},
url = {https://doi.org/10.1016/j.ipl.2017.12.011},
researchr = {https://researchr.org/publication/FilhoOSC18},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {133},
pages = {21-25},
}