In recent years, advances in high performance distributed computing have brought forward novel types of applications which access and share resources across heterogeneous, distributed environments. However, at the same time, it has to be noted that current approaches to ensure the correctness of the execution of applications in such distributed environments in the presence of concurrent updates...