Login / Signup
Jerome Y. Plun
Publication Activity (10 Years)
Years Active: 1992-1997
Publications (10 Years): 0
</>
Publications
</>
Gruia-Catalin Roman
,
Peter J. McCann
,
Jerome Y. Plun
Mobile UNITY: Reasoning and Specification in Mobile Computing.
ACM Trans. Softw. Eng. Methodol.
6 (3) (1997)
Gruia-Catalin Roman
,
Peter J. McCann
,
Jerome Y. Plun
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.
ICSE
(1996)
Gruia-Catalin Roman
,
Jerome Y. Plun
,
C. Donald Wilcox
Dynamic Synchrony Among Atomic Actions.
IEEE Trans. Parallel Distributed Syst.
4 (6) (1993)
Gruia-Catalin Roman
,
C. Donald Wilcox
,
Jerome Y. Plun
On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints.
ICDCS
(1992)
Gruia-Catalin Roman
,
Kenneth C. Cox
,
C. Donald Wilcox
,
Jerome Y. Plun
Pavane: a system for declarative visualization of concurrent computations.
J. Vis. Lang. Comput.
3 (2) (1992)