Semantica categorica della sincronizzazione tra processi di calcolo