この資料をSMS送信: CSP−based counter abstraction for systems with node identifiers