<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>
A method to define the semantics of programs written in real-time languages is developed for the language Mini CSP-R. It takes in account the communication between several processes, parallel commands and real- time problems. The meaning of Mini CSP-R commands is defined denotationally by relating the meaning of each construct to the meaning of its components. The authors compare their method with some another methods of defining the semantics. As an appendix, the paper contains the comparison of the languages Mini CSP-R and CSP-R. As another appendix, it points out the simulation of the languages ADA in CSP-R.
Specification and verification (program logics, model checking, etc.), Computational Theory and Mathematics, Semantics in the theory of computing, denotational semantics for a real-time distributed language, Theory of operating systems, Theoretical Computer Science, Information Systems, Computer Science Applications
Specification and verification (program logics, model checking, etc.), Computational Theory and Mathematics, Semantics in the theory of computing, denotational semantics for a real-time distributed language, Theory of operating systems, Theoretical Computer Science, Information Systems, Computer Science Applications
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). | 81 | |
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 1% | |
impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |