Specification of communicating processes: temporal logic versus refusals-based refinement