Abstract
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate between location-changing and state-changing operations in the system, and to quantify their computational expense for use in predictive performance analysis) is applied to the problem of modelling the canonical mobile code design paradigms which are in practical application today, as described in [2]. © Springer-Verlag 2004.
Cite
CITATION STYLE
Hillston, J., & Ribaudo, M. (2004). Modelling Mobility with PEPA Nets. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3280, 513–522. https://doi.org/10.1007/978-3-540-30182-0_52
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
