Maludziński SP, Dobrowolski G. Model checking processes specified in join-calculus algebra. csci [Internet]. 2014 Feb. 22 [cited 2025 Dec. 10];15(1):61. Available from: https://journals.agh.edu.pl/csci/article/view/287