Affiliation:
1. Univ. of Queensland, Queensland, Australia
Abstract
The process models of Ada and occam are formally based on the CSP process algebra. However, for fine-tuning real-time performance, they include “prioritized” constructs that have no counterparts in CSP. These constructs therefore lack any formal definition, a situation that leaves room for misunderstandings. We extend CSP with a formal definition of the notion of priority. The definition is then used to assess the transputer implementation of priority in occam and the definition of priority in Ada.
Publisher
Association for Computing Machinery (ACM)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Competitive parallelism: getting your priorities right;Proceedings of the ACM on Programming Languages;2018-07-30
2. The Expressiveness of CSP With Priority;Electronic Notes in Theoretical Computer Science;2015-12
3. Slow Abstraction via Priority;Theories of Programming and Formal Methods;2013
4. A denotational semantics for Handel-C;Formal Aspects of Computing;2011-03
5. Prioritised Choice over Multiway Synchronisation;CONCUR SYST ENGN SER;2011