A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://core.ac.uk/download/pdf/82112299.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
A Semiring-based Quantitative Analysis of Mobile Systems
<span title="">2006</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a>
</i>
Preserved Fulltext
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
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.01.020">doi:10.1016/j.entcs.2006.01.020</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rmoy4ardi5befowl2xtrnwxjbi">fatcat:rmoy4ardi5befowl2xtrnwxjbi</a>
</span>
more »
... ntrolling synchronisations in the analysed systems. We provide an example of a cost analysis of communications in a simple adaptive routing algorithm.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190223054309/https://core.ac.uk/download/pdf/82112299.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/2b/112b5e23a461aebf78ee051112bbdf1762a99c7e.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.01.020">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
elsevier.com
</button>
</a>