A spectral property for concurrent systems and some probabilistic applications. - Samy Abbes; Jean Mairesse; Yi-Ting Chen 005 (Discret. Math., 2021)

Random generation of executions of concurrent systems. (Génération aléatoire d'exécutions de systèmes concurrents). - Yi-Ting Chen 005 (2022)