Searching for "Abstract interpretation of mobile systems." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Automatic Determination of Communication Topologies in Mobile Systems
- … of this semantics is the purpose of the next section. 4 Abstract Interpretation of Mobile Systems We denote by C…
- Cited by 12 (1 self) – Add To MetaCart
-
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
- … # . Abstract interpretation of mobile systems. We approximate here the mobile systems’ semantics as described…
- Cited by 2 (2 self) – Add To MetaCart
-
A privacy analysis for the π-calculus: The denotational approach
- … of the denotational semantics as a basis for an abstract interpretation for mobile systems. This semantics is defined…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 3.
