Stanisław Radziszowski

• Logic and complexity of synchronous parallel computations