Skip to main content
Journal Article

Application modelling based on typed resources

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2004) 3033 628-635
DOI: 10.1007/978-3-540-24680-0_101
2Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We have developed a type system for the calculus of Safe Mobile Resources(SR), which is a variant of Mobile Resources(MR). In this paper, we will show the expressive power of the calculus. Some examples will be examined to illustrate how to use the features in SR to model the usual distributed applications in a mobile or cooperative environment. © Springer-Verlag 2004.

Cite

CITATION STYLE

APA

Fu, C., & You, J. (2004). Application modelling based on typed resources. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3033, 628–635. https://doi.org/10.1007/978-3-540-24680-0_101

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free