Slide 173
Slide 173 text
RC
BufferA
BufferB
(1, {b}, {})
{1}
(1, {b}, {})
(1, {b}, {})
{}
(1, {b}, {b})
(1, {b}, {b})
(1, {b}, {b})
{2}
(1, {b}, {b})
(2, {c}, {})
(2, {c}, {})
(2, {c}, {})
{1, 2}
(1, {a, b}, {b})
(2, {c}, {})
{1, 2}
(1, {a}, {})
(1, {a}, {})
Only ship inflation
from incoming state.