You are about to access our book library "Coordinating Distributed Objects: An Actor-Based Approach to Synchronization full version" .