इसका टेक्स्ट मैसेज भेजे: Existential abstractions for distributed reactive systems via syntactic transformations