इसका टेक्स्ट मैसेज भेजे: Reasoning about concurrent systems: a functional approach