. Each input vertex is labeled with that process's name, and each protocol complex vertex is labeled with the values received from each process, or   if no value was received. Each process communicates its initial state in the first layer, and its state at the end of the layer becomes its input to the second layer