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