Causal algorithms for mobile distributed systems without unnecessary inhibition in the message delivery.

<p>Where <i>n</i> = number of MHs, <i>s = </i> number of BSs, <i>c</i> is the number of bytes used to represent a integer value, <i>b</i> is the number of bits used to represent a byte, <i>k</i> is a predetermined integer parameter, <i>ε</i> is the length of the longest dependency sequence for a MH, <i>l_i</i> represents the number of messages sent by base station BS<i>_i</i> and for which the delivery is not yet confirmed and <i>LastRcv</i> is a control information structure that stores identifiers of messages received by a MH.