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