A framework for parallel or distributed program easy to case recurrent and correctness verification
MIT LicenseMIT