Một mô hình để biểu diễn hành vi và phân tích các hệ thống phân tán

Đặng Văn Hưng


The present paper gives a formal model for analyzing distributed systems and representing their behavior. The model is proved to be simple and powerful enough in studying the problems concerning distributed systems. Some synchronization techniques are considered, and an algorithm for determining states of distributed systems is given.

DOI: https://doi.org/10.15625/1813-9663/7/2/8284

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology