CS 854, Fall 2013 - Synchronization