A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://opus.lib.uts.edu.au/bitstream/10453/9278/1/2009005157.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Topology, randomness and noise in process calculus
<span title="">2007</span>
<i title="Springer Nature">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qviyf4uvojarvlkosv77blu3qa" style="color: black;">Frontiers of Electrical and Electronic Engineering in China</a>
</i>
Preserved Fulltext
Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is one of the most successful formal models of communicating and concurrent systems. In the previous works, the author systematically studied topology in process calculus, probabilistic process calculus and pi-calculus with noisy channels in order to describe approximate behaviors of communicating and concurrent systems, and randomness and noise in them. This article is a brief survey of these works.
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11460-007-0024-9">doi:10.1007/s11460-007-0024-9</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5xtyqovgb5ayndi2b45zd2iesi">fatcat:5xtyqovgb5ayndi2b45zd2iesi</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705162058/https://opus.lib.uts.edu.au/bitstream/10453/9278/1/2009005157.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/4b/a3/4ba3716ce4d71a042e96f57ff713e4dc3688c8d8.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11460-007-0024-9">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>