Process {⨀,⨁,P}
step  : ⨁ P → P
run   : P → ⊥
get   : ⨀ P → P
start : ⊤ → P
Process {⨀,⨁,P} step : ⨁ P → P run : P → ⊥ get : ⨀ P → P start : ⊤ → P
Made with Slides.com