S. P. Maludziński and G. Dobrowolski, “Model checking processes specified in join-calculus algebra”, csci, vol. 15, no. 1, p. 61, Feb. 2014.