properties for synchronization