[1]D. V. Hung, “Labelled transition system approach to distributed computing systems”, <i>J. Comput. Sci. Cybern.</i>, vol. 8, no. 3, p. 19–32, Apr. 2016.