Toward Comprehensive Specification of Distributed Systems.

Gruia-Catalin Roman, Michael E. Ehlers, H. Conrad Cunningham, R. H. Lykins

Browse the full ICDCS paper archive.