Talk:Communicating sequential processes/to do


 * Expand the discussion of the formal semantics