इसका टेक्स्ट मैसेज भेजे: CSP−based counter abstraction for systems with node identifiers