Modelling Mobility with PEPA Nets

Jane Hillston, Marina Ribaudo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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].
Original languageEnglish
Title of host publicationComputer and Information Sciences - ISCIS 2004
EditorsCevdet Aykanat, Tuǧrul Dayar, İbrahim Körpeoğlu
PublisherSpringer Berlin Heidelberg
Pages513-522
Number of pages10
Volume3280
ISBN (Electronic)978-3-540-30182-0
ISBN (Print)978-3-540-23526-2
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume3280

Fingerprint

Dive into the research topics of 'Modelling Mobility with PEPA Nets'. Together they form a unique fingerprint.

Cite this