Communication

Definition

$i\leftrightarrow j\iff i\to j\wedge j\to i$

$\forall i,j\in E$: $i,j$ are accessible from each other

where $E$ is a state space

Facts

Communication is an Equivalence Relation

• $i\leftrightarrow i$
• $i\leftrightarrow j\Rightarrow j\leftrightarrow i$
• $i\leftrightarrow j,j\leftrightarrow k\Rightarrow i\leftrightarrow k$