The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/41667
Record Status Checked
Record Id 41667
Title A semiring-based quantitative analysis of mobile systems
Abstract We present in this paper, semi-pi, an extension of the pi-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.
Organisation CCLRC
Keywords Engineering , Process Algebra , Quantitative Analysis , Mobile Systems , Semirings
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Third International Workshop on Software Verification and Validation (SVV 2005), Manchester, UK, 31 Oct 2005, (2006). doi:10.1016/j.entcs.2006.01.020 2006