On the Verification of Open Distributed Systems
أنظمة موزعة وسحابية