Title: A preliminary theory for parallel programs