Go backward to Strong Equivalence
Go up to Top
Go forward to Strong Congruence

Properties of Strong Equivalence

Monoid laws:
- $P+Q$ ~ $Q+P$
- $P+(Q+R)$ ~ $(P+Q)+R$
- $P+P$ ~ $P$
- $P+0$ ~ $P$
Static laws:
- $P|Q$ ~ $Q|P$
- $P+(Q|R)$ ~ $(P|Q)|R$
- $P|0$ ~ $P$
- ...
The Expansion law:
- ...(= replaced by ~)

Id: ccs2.tex,v 1.1 1996/06/12 15:55:52 schreine Exp schreine