HUNG, D. V. Labelled transition system approach to distributed computing systems. Journal of Computer Science and Cybernetics, [S. l.], v. 8, n. 3, p. 19–32, 2016. DOI: 10.15625/1813-9663/8/3/8272. Disponível em: https://vjs.ac.vn/index.php/jcc/article/view/8272. Acesso em: 23 nov. 2024.