As in the chapters on the synchronous model, we use the convention of subscripting a variable by the index of the process at which the variable resides.