Text this: Software design language for concurrent distributed systems