Assiomi per testing congruence

(A1)

$P+Q=Q+P$

(A2)

$(P+Q)+R=P+(Q+R)$

(A3)

$P+P=P$

(A4)

$P+nil=P$

(N1)

$\mu .P+ \mu .Q = \mu .(\tau .P+ \tau .Q) \quad$ (non importa se scelgo prima o dopo l'azione $\mu$)

(N2)

$P+ \tau .Q \sqsubseteq \tau .(P+Q) \quad$ (posso fare oppure no il $\tau$ iniziale)

(N3)

$\mu .P+\tau .(\mu .Q+R)=\tau .(\mu .P+\mu .Q+R)$

(N4)

$\tau .P \sqsubseteq P$

Questi assiomi sono tutti e soli gli assiomi per la testing congruence: gli assiomi (A1)-(A4) sono quelli della bisimulazione, mentre (N1)-(N4) sostituiscono le $\tau$ laws. Questo insieme di assiomi viene detto $\mathcal{A}$....