D. V. Hung, “Labelled transition system approach to distributed computing systems”, JCC, vol. 8, no. 3, p. 19–32, Apr. 2016.