Finish implementing the local tracking of processes and implement synchronization with Charon