TY  - RPRT
TI  - A spectral property for concurrent systems and some probabilistic applications
AU  - Samy Abbes
AU  - Jean Mairesse
AU  - Yi-Ting Chen
PY  - 2021
DO  - 10.1016/j.disc.2021.112455
UR  - https://arxiv.org/abs/2003.03762
ID  - 2003.03762
ER  -