Simultaneous Exclusive Access to Multiple Resources | part of Design of Multithreaded Software: The Entity-Life Modeling Approach | Wiley-IEEE Press books | IEEE Xplore