A Semiring-based Quantitative Analysis of Mobile Systems

Benjamin Aziz

doi:10.1016/j.entcs.2006.01.020

A Semiring-based Quantitative Analysis of Mobile Systems

Benjamin Aziz^*

^*Corresponding author for this work

School of Computing

Imperial College London

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	3-21
Number of pages	19
Journal	Electronic Notes in Theoretical Computer Science
Volume	157
Issue number	1 SPEC. ISS.
DOIs	https://doi.org/10.1016/j.entcs.2006.01.020
Publication status	Published - 16 May 2006

Keywords

Mobile Systems
Quantitative Resources
Semirings
Static Analysis

Access to Document

10.1016/j.entcs.2006.01.020

Cite this

@article{2372d7a3d3a14d0cb83202d15822224a,

title = "A Semiring-based Quantitative Analysis of Mobile Systems",

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.",

keywords = "Mobile Systems, Quantitative Resources, Semirings, Static Analysis",

author = "Benjamin Aziz",

year = "2006",

month = may,

day = "16",

doi = "10.1016/j.entcs.2006.01.020",

language = "English",

volume = "157",

pages = "3--21",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "1 SPEC. ISS.",

}

TY - JOUR

T1 - A Semiring-based Quantitative Analysis of Mobile Systems

AU - Aziz, Benjamin

PY - 2006/5/16

Y1 - 2006/5/16

N2 - 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.

AB - 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.

KW - Mobile Systems

KW - Quantitative Resources

KW - Semirings

KW - Static Analysis

UR - http://www.scopus.com/inward/record.url?scp=33646338875&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2006.01.020

DO - 10.1016/j.entcs.2006.01.020

M3 - Article

AN - SCOPUS:33646338875

SN - 1571-0661

VL - 157

SP - 3

EP - 21

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1 SPEC. ISS.

ER -

A Semiring-based Quantitative Analysis of Mobile Systems

Abstract

Keywords

Access to Document

Fingerprint

Cite this