Slight mix-up with Acorn computers. The first Acorn computer that @hoglet ported was the Acorn Atom, which existed before Acorn got the BBC contract. Al confused it with the Acorn Electron, which was a rather unsuccessful cheaper version of the BBC Micro. I haven't seen FPGA implementations of the Electron, probably because it is basically a cheaper BBC Micro with some things missing, so if you have a Beeb implementation, it is not worth doing an Electron.
Also I think Tony Hoare (of CSP fame) worked at Oxford not Cambridge University, although he now seems to be at Microsoft Research In Cambridge.
I am looking forward to Al's new way of programming embedded devices with a mixture of software and CSPs on an FPGA.