Aranda B. JA. On decidability properties of two fragments of the asynchronous π-calculus. inycomp [Internet]. 2013 Dec. 29 [cited 2024 Nov. 24];15(2):137-49. Available from: https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2601