Title: Combining linear time temporal logic descriptions of concurrent computations