2.8.1. Causal Relation

Generally speaking, causal relation orders events so that causes come before effects. When considered in the context of a group of communicating processes, the causal relation is defined as follows: