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
Author affiliations

Authors

  • Đặng Văn Hưng Publishing House for Science and Technology

DOI:

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

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.

Metrics

Metrics Loading ...

Published

28-04-2016

How to Cite

[1]
Đặng V. Hưng, “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”, JCC, vol. 7, no. 2, p. 15–23, Apr. 2016.

Issue

Section

Computer Science