Spatial ordering of messages in a cyclic architecture

Spatial ordering of messages can be used fruitfully for the design of distributed systems. For modeling such systems we require a logical framework that includes both spatial andtemporal ordering predicates. In order to illustrate its applicability a distributed K mutual exclusion algorithm is proposed that requires a unidirectional cyclic topology for its… CONTINUE READING