Functional Specification of Distributed Systems.

Gruia-Catalin Roman, Robert K. Israel

Browse the full ICPP paper archive.