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