MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Formal Methods for Mobile Computing" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Mobile UNITY: Reasoning and specification in mobile computing
by Peter J. Mccann, Jerome Y. Plun — 1997 — ACM Transactions on Software Engineering and Methodology
… computations relies on extensions to the UNITY proof logic. Keywords: formal methods, mobile computing, UNITY…
Cited by 48 (9 self) – Add To MetaCart

Compositional Programming Abstractions for Mobile Computing
by Peter J. Mccann, Gruia-catalin Roman — 1998 — IEEE Trans. on Software Engineering
… in a modular fashion. Keywords--- Formal methods, mobile computing, Mobile UNITY, weak consistency…
Cited by 50 (23 self) – Add To MetaCart

An Introduction to Mobile UNITY
by Gruia-catalin Roman, Peter J. Mccann — 1997 — Lecture Notes in Computer Science
… for the notation. Keywords: formal methods, mobile computing, UNITY, Mobile UNITY, shared variables…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB