Jerome Y. Plun

According to our database, Jerome Y. Plun authored at least 5 papers between 1992 and 1997.

Collaborative distances:

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

1997

Mobile UNITY: Reasoning and Specification in Mobile Computing.

Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun

ACM Trans. Softw. Eng. Methodol., 1997

1996

Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.

Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun

Proceedings of the 18th International Conference on Software Engineering, 1996

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