Talk:Communicating sequential processes/to do

  • Expand the discussion of the formal semantics