(1)Hung, D. V. Labelled Transition System Approach to Distributed Computing Systems. <i>J. Comput. Sci. Cybern.</i> <b>2016</b>, <i>8</i>, 19-32.