Algorithms, Concurrency and Knowledge