Title: Synchronisation flow algebra