Horst F. Wedde, Bogdan Korel. Determining the worst-case blocking sequences for distributed real-time programs. In Sixth Euromicro Workshop on Real-Time Systems, RTS 1994, Vaesteraas, Sweden, June 15-17, 1994. Proceedings. pages 4-9, IEEE, 1994. [doi]
Abstract is missing.