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

Abstract


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.



Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology