इसका टेक्स्ट मैसेज भेजे: Specification−oriented Semantics for Communicating Processes