Simple 2-process SPL example
You can also use the window below to enter your own program.
% A very simple SPL program with two processes: local x, y : int where x = 0, y = 0 P1 :: [ l0 : while x < 10 do [ l1: x := y + 1 ] ] || P2 :: [ m0 : while y < 10 do [ m1 : y := x + 1 ] ]
step-comments@CS.Stanford.EDU
Simple 2-process SPL example
Simple 2-process SPL example
step-comments@CS.Stanford.EDU