Labelled transition system approach to  distributed computing systems

Dang Van Hung

doi:10.15625/1813-9663/8/3/8272

Labelled transition system approach to distributed computing systems

Dang Van Hung

Author affiliations

Authors

Dang Van Hung Publishing House for Science and Technology

DOI:

https://doi.org/10.15625/1813-9663/8/3/8272

Abstract

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.

Metrics

Metrics Loading ...

Downloads

PDF (Tiếng Việt)

Published

28-04-2016

How to Cite

[1]

D. V. Hung, “Labelled transition system approach to distributed computing systems”, JCC, vol. 8, no. 3, p. 19–32, Apr. 2016.

Download Citation

Issue

Vol. 8 No. 3 (1992)

Section

Computer Science

License

1. We hereby assign copyright of our article (the Work) in all forms of media, whether now known or hereafter developed, to the Journal of Computer Science and Cybernetics. We understand that the Journal of Computer Science and Cybernetics will act on my/our behalf to publish, reproduce, distribute and transmit the Work.
2. This assignment of copyright to the Journal of Computer Science and Cybernetics is done so on the understanding that permission from the Journal of Computer Science and Cybernetics is not required for me/us to reproduce, republish or distribute copies of the Work in whole or in part. We will ensure that all such copies carry a notice of copyright ownership and reference to the original journal publication.
3. We warrant that the Work is our results and has not been published before in its current or a substantially similar form and is not under consideration for another publication, does not contain any unlawful statements and does not infringe any existing copyright.
4. We also warrant that We have obtained the necessary permission from the copyright holder/s to reproduce in the article any materials including tables, diagrams or photographs not owned by me/us.