分布式算法模型-事件独立性、相关性和可应用性
1、设γ是分布式系统的一个配置（具有异步消息传递），ep和eq分别是不同进程p和q的事件，它们在γ中是可应用的。那么，ep在eq(γ)中是可应用的，eq在ep(γ) 中是可用的，并且ep(eq(γ))=eq(ep(γ))
2、设E是一次执行，称因果序的关系ㄑ是执行事件上满足下列条件的最小关系。
1）如果e和f是同一进程中的不同事件，e在f之前出现，那么eㄑf。
2）如果S是发送事件，r是对应的接收事件，那么sㄑr。
3）ㄑ是可传递的
3、可应用性
1)在配置（Cp1,...,Cp,.....CpN,M）中，如果Cp=c,则称P中内部事件e=(c,d)是可应用的。定义e(γ)为（Cp1,...,d,.....CpN,M）
2)在配置（Cp1,...,Cp,.....CpN,M）中，如果Cp=c,则称P中发送事件e=(c,m,d)是可应用的。定义e(γ)为（Cp1,...,d,.....CpN,M∪{m}）
3)在配置（Cp1,...,Cp,.....CpN,M）中，如果Cp=c且m∈M,则称P中接收事件e=(c,m,d)是可应用的。定义e(γ)为（Cp1,...,d,.....CpN,M\{m}）