A distributed synchronization scheme for multimedia streams in mobile systems: proof and correctness | IEEE Conference Publication | IEEE Xplore