it is used to describe behaviours of concurrent systems bakomeje babwira urukiko ko bazakomeza kunganira uwinkindi nk'inshingano bahawe kuva batangira urubanza sinigeze mbona igihe kazitunga yagiye