On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints.

Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun

Browse the full ICDCS paper archive.