Title: Logic and complexity of synchronous parallel computations
Subjects: Computational complexity, Parallel processing (Electronic computers)