The Martini Synch. Darko Kirovski, Michael Sinclair, and David Wilson Microsoft Research. Contact: {darkok,sinclair,dbwilson}@microsoft.com. Technical Report MSR-TR-2007-123 September 2007. Microsoft Research. One Microsoft Way Redmond, WA 98052, USA http://research.microsoft.com.