proc {Actor L} case L of H|T then %% wait for incoming msg {ProcessMsg H} %% retrieve and process msg {Actor T} %% process subsequent messages end end
for H in L do {ProcessMsg H} end
{ForAll L ProcessMsg}