Početna » Sinteza 2018 - International Scientific Conference on Information Technology and Data Related Research » Blokchain and Distrubuted Systems Session
- Information Secutiry and Data Science Session
- Internet and Cloud Computing Session
- Blokchain and Distrubuted Systems Session
- Engineering and Telecommunications Session
- Information Technology in Education and Sport Session
- Current Perspectives on Teaching Language for Specific Purposes Session
- Abstracts
Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto
Keywords:
computer-aided verification, reduction, fault-tolerant distributed systems, formal methods.
Abstract:
Distributed computations are characterized by a partial order over events: two concurrent events at different processes may be re-ordered without changing the outcome of the computation. For systems that are composed of so-called communication-closed layers, this partial-order argument has been used by Elrad and Francez [13] to reduce the reasoning about distributed systems to a specific sequential form. We discuss existing techniques for communicationclosed layers, and discuss applications to automated verification of state-ofthe- art distributed systems.
CITATION:
IEEE format
C. Dragoi, M. Lazić, J. Widder, “Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto,” in Sinteza 2018 - International Scientific Conference on Information Technology and Data Related Research, Belgrade, Singidunum University, Serbia, 2018, pp. 131-138. doi:10.15308/Sinteza-2018-131-138
APA format
Dragoi, C., Lazić, M., Widder, J. (2018). Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto. Paper presented at Sinteza 2018 - International Scientific Conference on Information Technology and Data Related Research. doi:10.15308/Sinteza-2018-131-138
BibTeX format
Download
RefWorks Tagged format
Download
