Construction of Deadlock-free Designs of Communication Protocols from Observation

Xiao Jun Chen, Hasan Ural. Construction of Deadlock-free Designs of Communication Protocols from Observation. Comput. J., 45(2):162-173, 2002. [doi]

Abstract

Abstract is missing.