arXiv 2001-01-24 EN Deterministic computations whose history is independent of the order of asynchronous updating Gacs, Peter