Alan

Programming language that does concurrency for you and can thus separate how the software is written from how it runs.