<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>
doi: 10.1007/bf01379186
occam is a programming language designed to support concurrent applications, especially those implemented on networks of communicating processors. The aim of this paper is to formulate the meaning of the language constructs ofoccam by semantic definitions that are intended as a formalization of the informal descriptions usually found in programming language manuals. This is done by defining syntax directed transition systems, where the transitions associated with a phrase are a function of the transitions associated with its components. This method is by no means novel; the concepts were introduced in Ref. 2 and are applied in Ref. 3 where the operational semantics for CSP is presented. The operational semantics for a subset of Ada is defined in Ref. 5, where tasking and exception handling are modeled. In this paper an operational semantics for a subset ofoccam is presented for the first time; this includes the semantics of both static and dynamic behavior. The main novelty of this paper is the semantics of priority alternation which is defined in terms of the inability of the parallel context to communicate along certain channels.
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 12 | |
popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |