C. Donald Wilcox

Publication Activity (10 Years)

Years Active: 1992-1996
Publications (10 Years): 0

Publications

C. Donald Wilcox, Gruia-Catalin Roman
Reasoning About Places, Times, and Actions in the Presence of Mobility. IEEE Trans. Software Eng. 22 (4) (1996)
Gruia-Catalin Roman, C. Donald Wilcox
Architecture-Directed Refinement. IEEE Trans. Software Eng. 20 (4) (1994)
Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox
Dynamic Synchrony Among Atomic Actions. IEEE Trans. Parallel Distributed Syst. 4 (6) (1993)
Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun
On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. ICDCS (1992)
Gruia-Catalin Roman, Kenneth C. Cox, C. Donald Wilcox, Jerome Y. Plun
Pavane: a system for declarative visualization of concurrent computations. J. Vis. Lang. Comput. 3 (2) (1992)