confluence property
C20337
concept
The confluence property is a characteristic of a rewriting or transition system where, if a state can evolve into two different states, there always exists a further sequence of steps from each of those states that leads to a common successor state.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| consensus property | 1 |
Instances (2)
| Instance | Via concept surface |
|---|---|
| Church–Rosser property | — |
| Byzantine fault tolerance | consensus property |