Write-through Coherency

V is valid

I is invalid

Red is processor initiated

Blue is bus initiated

If A is observed

Then transaction B

is generated

State diagrams show the protocol ...