Source: https://lig-membres.imag.fr/donsez/cours/se/se_synchroprocess.pdf