A Semiring-based Quantitative Analysis of Mobile Systems

Benjamin Aziz*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

We present in this paper, semi-π, an extension of the π-calculus that allows processes to query quantitative values of different actions and decide based on those values, whether an action is feasible or not. Our measure of quantity is based on the general notion of semirings. Furthermore, we develop a syntax-directed static analysis for the new language, which captures the properties of name substitution and semiring value retrieval. Such properties allow us to solve quantitative constraints controlling synchronisations in the analysed systems. We provide an example of a cost analysis of communications in a simple adaptive routing algorithm.

Original languageEnglish
Pages (from-to)3-21
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
Volume157
Issue number1 SPEC. ISS.
DOIs
Publication statusPublished - 16 May 2006

Keywords

  • Mobile Systems
  • Quantitative Resources
  • Semirings
  • Static Analysis

Fingerprint

Dive into the research topics of 'A Semiring-based Quantitative Analysis of Mobile Systems'. Together they form a unique fingerprint.

Cite this