|
Search the dblp DataBase
Jerome Y. Plun:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun
On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. [Citation Graph (0, 0)][DBLP] ICDCS, 1992, pp:494-501 [Conf]
- Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. [Citation Graph (0, 0)][DBLP] ICSE, 1996, pp:155-164 [Conf]
- Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun
Mobile UNITY: Reasoning and Specification in Mobile Computing. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1997, v:6, n:3, pp:250-282 [Journal]
- Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox
Dynamic Synchrony Among Atomic Actions. [Citation Graph (0, 0)][DBLP] IEEE Trans. Parallel Distrib. Syst., 1993, v:4, n:6, pp:677-685 [Journal]
Search in 0.001secs, Finished in 0.001secs
|