Characterizing Communication Channel Deadlocks in Sequence Diagrams

Bill Mitchell. Characterizing Communication Channel Deadlocks in Sequence Diagrams. IEEE Trans. Software Eng., 34(3):305-320, 2008. [doi]

Abstract

Abstract is missing.