Maludziński, Sławomir Piotr, and Grzegorz Dobrowolski. 2014. “Model Checking Processes Specified in Join-Calculus Algebra”. Computer Science 15 (1):61. https://doi.org/10.7494/csci.2014.15.1.61.