Maludziński SP, Dobrowolski G. Model checking processes specified in join-calculus algebra. csci. 2014;15(1):61. doi:10.7494/csci.2014.15.1.61