Added Synchronization interface, implemented by condition and by channel implementations