Title: Implementations of process synchronisation and their analysis