Hung, Dang Van. 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.