Jerome Y. Plun

	1997
4		Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun: Mobile UNITY: Reasoning and Specification in Mobile Computing. ACM Trans. Softw. Eng. Methodol. 6(3): 250-282 (1997)
	1996
3		Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun: Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. ICSE 1996: 155-164
	1993
2		Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox: Dynamic Synchrony Among Atomic Actions. IEEE Trans. Parallel Distrib. Syst. 4(6): 677-685 (1993)
	1992
1		Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun: On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. ICDCS 1992: 494-501

Coauthor Index

1	Peter J. McCann	[3] [4]
2	Gruia-Catalin Roman	[1] [2] [3] [4]
3	C. Donald Wilcox	[1] [2]