There is an important mistake in this paper (both in the published version and
in the electronic one): parallel reduction actually does not enjoy strong
confluence.

A definition of a parallel reduction enjoying the diamond property is given in
my PhD thesis (also available on this page).

I will update the electronic version of the paper accordingly ASAP.

L. Vaux, 2007.10.09.