Formal Specification and Verification of Distributed Systems.

Bo-Shoe Chen, Raymond T. Yeh

Browse the full ICDCS paper archive.