 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Wrong State Diagram
editI think the transition (PrWrMiss/BusRd(S) -> Sc) should be (PrRdMiss/BusRd(S) -> Sc). Also the transition (PrWrMiss/BusRd(S') -> Sm) should be (PrWrMiss/[BusRd(S); BusUpd]).