Hung, D.V. 2016. Labelled transition system approach to distributed computing systems. Journal of Computer Science and Cybernetics. 8, 3 (Apr. 2016), 19–32. DOI:https://doi.org/10.15625/1813-9663/8/3/8272.