Hoare&#x27;s CSP is exactly this. It&#x27;s not a programming language per se, but I know of several DSL&#x27;s that were built using CSP syntax.
<a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Communicating_sequential_processes" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Communicating_sequential_proce...</a>