MALUDZIŃSKI, S. P.; DOBROWOLSKI, G. Model checking processes specified in join-calculus algebra. Computer Science, [S. l.], v. 15, n. 1, p. 61, 2014. DOI: 10.7494/csci.2014.15.1.61. Disponível em: https://journals.agh.edu.pl/csci/article/view/287. Acesso em: 2 may. 2024.