An approach to verification of communication in distributed computing system software.

Stephen S. Yau, Kris W. I. Chen

Browse the full ICDCS paper archive.