Maludziński, S. P.; Dobrowolski, G. Model Checking Processes Specified in Join-Calculus Algebra. csci 2014, 15, 61.