أرسل هذا في رسالة قصيرة: CSP−based counter abstraction for systems with node identifiers