Open AccessLabelled transition system approach to distributed computing systems
Author(s) -
Dang Van Hung
Publication year - 2016
Publication title -
journal of computer science and cybernetics (vietnam academy of science and technology)/journal of computer science and cybernetics
Language(s) - English
Resource type - Journals
eISSN - 2815-5939
pISSN - 1813-9663
DOI - 10.15625/1813-9663/8/3/8272
Subject(s) - concurrency , distributed computing , computer science , process (computing) , transition system , distributed concurrency control , theoretical computer science , process calculus , concurrency control , programming language , database transaction
The present paper introduces the notion of distributed transition systems for modeling, designing and understanding distributed computing systems. The concurrency can be expressed explicitly in the model. Some of the global properties of the systems are discussed and determined. It is shown in the paper that by keeping knowledge of other processes in each process of a system, some of its global properties can be synthesized from only few local process states.