C. Donald Wilcox

According to our database, C. Donald Wilcox authored at least 5 papers between 1992 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Reasoning About Places, Times, and Actions in the Presence of Mobility.

C. Donald Wilcox, Gruia-Catalin Roman

IEEE Trans. Software Eng., 1996

1994

Architecture-Directed Refinement.

Gruia-Catalin Roman, C. Donald Wilcox

IEEE Trans. Software Eng., 1994

1993

Dynamic Synchrony Among Atomic Actions.

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

IEEE Trans. Parallel Distributed Syst., 1993

1992

Pavane: a system for declarative visualization of concurrent computations.

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

J. Vis. Lang. Comput., 1992

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

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

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992