A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit <a rel="external noopener" href="http://sigada.org/ada_letters/march2001/106-burns_2.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
On developing and verifying design abstractions for reliable concurrent programming in Ada
<span title="2001-03-01">2001</span>
<i title="Association for Computing Machinery (ACM)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4e3exnwkovej5hdp6shucxw3nq" style="color: black;">ACM SIGAda Ada Letters</a>
</i>
Preserved Fulltext
Ada 95 is an expressive concurrent programming language, which allows building large multi-tasking applications. Much of the complexity of these applications stems from the interactions between the tasks. Design abstractions (such as atomic actions, conversations etc.) have been proposed to deal with such complexity. This paper argues that Petri nets offer a promising, tool-supported, technique for checking the logical correctness of abstractions. The paper illustrates the effectiveness of this
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/374369.374381">doi:10.1145/374369.374381</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/btow5bnsm5e4jlrpe6omeoyyfq">fatcat:btow5bnsm5e4jlrpe6omeoyyfq</a>
</span>
more »
... approach by showing the correctness of an Ada implementation of the atomic action protocol using a variety of Petri net tools.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140805065459/http://sigada.org/ada_letters/march2001/106-burns_2.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/c6/58/c6585bf86d5c2e4e66dd3ab77b0ce1b72b185675.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/374369.374381">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>