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="http://www.hpl.hp.com/techreports/94/HPL-94-42.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
<i title="Springer Berlin Heidelberg">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
asynchronous circuit, event structure, logics of causality, unfolding In 1959, Muller and Bartky published a celebrated paper on .~Theory of Asynchronous Circuits". Among many novel techniques in that paper was the use of lattices resembling the domains of configurations of event structures. In the light of this we present a generalization of Muller's construction to safe nets. We find, however, that this "Muller unfolding" cannot be generated as the domain of configurations of any known event<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57208-2_20">doi:10.1007/3-540-57208-2_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c2sv3rol6ff4pnnc56fzlgklbe">fatcat:c2sv3rol6ff4pnnc56fzlgklbe</a> </span>
more »... tructure, not even a General Event structure. (In particular, this unfolding differs from that of Nielsen, Plotkin and WinskeL) This paper attempts to fill that gap. We make use of the logical approach to causality, developed in previous work, in which a General Event Structure is interpreted as a logical automation arising from a particular logic of causality. We introduce a new causal logic and associate a corresponding logical automaton to any finite safe Petri net. Our main result is that the domain of configurations of this generalized event structure is isomorphic to the Muller unfolding of the net. The work described here was done as part of project STETSON, a joint project between HP Labs and Stanford University on asynchronous hardware design.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808062848/http://www.hpl.hp.com/techreports/94/HPL-94-42.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/e0/42/e04228d3a3f3f7483f769fd0e0a8a74a4489d38c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57208-2_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>