You are about to access our book library "The Design and Construction of Deadlock-Free Concurrent Systems full version" .