A preliminary theory for parallel programs | lit.salon