Search results for "Jerome Y. Plun"

Found 5 publication records. Showing 5 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Mobile UNITY: Reasoning and Specification in Mobile Computing.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, weak consistency, shared variables
1	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.	ICSE	1996	DBLP BibTeX RDF	UNITY proof logic, action synchronization, continuous position changes, decoupled computing style, independent computing units, location-dependent behavior, location-dependent communication patterns, pairwise transient interactions, transient program interactions, variable sharing, mobile computing, distributed computing, distributed processing, dependability, modularity, computer networks, synchronisation, network operating systems, disconnections, mobile radio, assertional reasoning
1	Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox	Dynamic Synchrony Among Atomic Actions.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	dynamicsynchrony, Swarm notation, leader election problem, concurrencycontrol, parallel programming, synchronization, concurrent programming, atomic actions, concurrent algorithm, sequential processes
1	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.	1992	DBLP DOI BibTeX RDF
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	DBLP BibTeX RDF

Displaying result #1 - #5 of 5 (100 per page; Change: )

Publications of "Jerome Y. Plun" ( http://dblp.L3S.de/Authors/Jerome_Y._Plun )