From static code distribution to more shrinkage for the multiterminal cut. Technical Report 537, ULB, 2005. Submitted. The formal design of distributed controllers with dSL and Spin 19 ... WHEN init THEN control := 0 (0)

by Bram De Wachter, Alexandre Genon, Thierry Massart
Venue:param_statei_1 := 0; launch_heateri_1 := FALSE; launch_heateri_1 := TRUE; END_WHEN (* LAUNCH in the whens *) WHEN ~launch_heaterw_1 THEN param_state := ~param_statew_1; launch_heater := TRUE; END_WHEN WHEN ~launch_heaterw_2 THEN param_state := ~param_stat