Maludziński, S. P. and Dobrowolski, G. (2014) “Model checking processes specified in join-calculus algebra”, Computer Science, 15(1), p. 61. doi: 10.7494/csci.2014.15.1.61.