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