MALUDZIŃSKI, Sławomir Piotr; DOBROWOLSKI, Grzegorz. 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: 16 dec. 2025.