Abramsky on Concurrency

David Corfield highlights two articles by Samson Abramsky: one on Temperley-Lieb algebras and the other on concurrency.

The concurrency article, What are the fundamental structures of concurrency? We still don’t know!, discusses the profusion of formalisms for representing concurrency. Abramsky passes on the following anecdote:

The mathematician André Weil apparently compared finding the right definitions in algebraic number theory — which was like carving adamantine rock—to making definitions in the theory of uniform spaces (which he founded), which was like sculpting with snow.