erlang: fetch-p
TLA+: reworking channel spec