Parasail

A language for the development of parallel, high-integrity programs. Very interesting! Most interesting takeaway for me is that a "loop" in Parasail is what I called a checklist - if you don't specifically force sequentiality, it's not sequential. [specific post but the whole blog is probably worth a read through]