Maludziński, S. P.; Dobrowolski, G. Model Checking Processes Specified in Join-Calculus Algebra. csci 2014, 15 (1), 61. https://doi.org/10.7494/csci.2014.15.1.61.