dblp.uni-trier.dewww.uni-trier.de

Jerome Y. Plun

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997
4EEGruia-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
3EEGruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun: Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. ICSE 1996: 155-164
1993
2EEGruia-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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)