Concurrent, redundantly operating processors