Kułkaowski K. Concurrent systems modeling with CCL. A [Internet]. 2013Jul.16 [cited 2024Apr.28];16(2):115. Available from: https://journals.agh.edu.pl/automat/article/view/417