Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto

Izdanje: Sinteza 2018 International Scientific Conference on Information Technology and Data Related Research

DOI: 10.15308/Sinteza-2018-131-138

Oblast: Blokchain and Distributed Systems

Stranice: 131-138

Apstrakt:
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.
Ključne reči: computer-aided verification, reduction, fault-tolerant distributed systems, formal methods.
Priložene datoteke:
  • 131-138 ( veličina: 314,26 KB, broj pregleda: 387 )
Kategorije objave: Radovi na konferenciji Sinteza 2018, Beograd, Srbija Radovi sa konferencija

Preuzimanje citata:

BibTeX format 
@article{article,
  author  = {C. Dragoi, M. Lazić and J. Widder}, 
  title   = {Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto},
  journal = {Sinteza 2018 International Scientific Conference on Information Technology and Data Related Research},
  year    = 2018,
  pages   = {131-138},
  doi     = {10.15308/Sinteza-2018-131-138}
}
RefWorks Tagged format 
RT Conference Proceedings
A1 Cezara Dragoi
A1 Marijana Lazić
A1 Josef Widder
T1 Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto
AD Univerzitet Singidunum, Beograd, Beograd, Srbija
YR 2018
NO doi: 10.15308/Sinteza-2018-131-138
Unapred formatirani prikaz citata
C. Dragoi, M. Lazić and J. Widder, Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto, Univerzitet Singidunum, Beograd, 2018, doi:10.15308/Sinteza-2018-131-138