Maludziński, Sławomir Piotr, and Grzegorz Dobrowolski. “Model Checking Processes Specified in Join-Calculus Algebra”. Computer Science 15, no. 1 (February 22, 2014): 61. Accessed April 25, 2024. https://journals.agh.edu.pl/csci/article/view/287.