A Static Communication Elimination Algorithm for Distributed System Verification

2005 ◽  
pp. 375-389 ◽  
Author(s):  
Francesc Babot ◽  
Miquel Bertran ◽  
August Climent
Keyword(s):  
Distributed System ◽  
Elimination Algorithm ◽  
System Verification

scholarly journals Igloo: soundly linking compositional refinement and separation logic for distributed system verification

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-31
Author(s):  
Christoph Sprenger ◽  
Tobias Klenze ◽  
Marco Eilers ◽  
Felix A. Wolf ◽  
Peter Müller ◽  
...  
Keyword(s):  
Distributed System ◽  
Separation Logic ◽  
System Verification

A survey on secure file synchronization in distributed system

2011 ◽  
Vol 1 (10) ◽  
pp. 81-82
Author(s):  
Chhaya Nayak ◽  
◽  
Deepak Tomar
Keyword(s):  
Distributed System ◽  
File Synchronization

An Approach to Optimal Task Assignment in a Distributed System

2004 ◽  
Vol 36 (10) ◽  
pp. 51-55 ◽  
Author(s):  
Rasim Magamed ogly Alguliev ◽  
Ramiz Magamed ogly Aliguliev ◽  
Rashid Kurbanali ogly Alekperov
Keyword(s):  
Distributed System ◽  
Task Assignment
Sign in / Sign up

Export Citation Format

Share Document