The EIT[Jha93] (for Earliest Input Time) of an LP is a lower bound on the receive timestamp of the next message it will get. Consequently, upon executing a receive statement, an LP can safely select a matching message with a receive timestamp less than EIT. The asynchronous protocols we subsequently describe differ only in their method for computing EIT.