KUŁKAOWSKI, K. Concurrent systems modeling with CCL. Automatyka/Automatics, [S. l.], v. 16, n. 2, p. 115, 2013. DOI: 10.7494/automat.2012.16.2.115. Disponível em: https://journals.agh.edu.pl/automat/article/view/417. Acesso em: 27 apr. 2024.