note description: "Summary description for {CONC}." date: "$Date$" revision: "$Revision$" class CONC create make feature x: separate S y: separate S make (a_x, a_y: separate S) do x := a_x y := a_y end f do g (x) end g (a_x: separate S) do busy h (y) end h (a_y: separate S) do end busy do print ("Busy start") (create {EXECUTION_ENVIRONMENT}).sleep (100*1000*1000) print ("Busy end") end end