programming paradigm aimed at improving programming via a structured approach to concurrent programming