COMMUNICATION-CLOSED LAYERS AS PARADIGM FOR DISTRIBUTED SYSTEMS: A MANIFESTO




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