Hung, D. V. Labelled Transition System Approach to Distributed Computing Systems. JCC 2016, 8, 19-32.