Models and Mechanisms for Programming Interactions in Concurrent Systems

并发系统中编程交互的模型和机制

• 批准号: RGPIN-2017-06955
• 负责人: Jamali, Nadeem
• 金额: $ 1.46万
• 依托单位: University of Saskatchewan
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634471
• 关键词: Models; Mechanisms; Programming; Interactions; Concurrent

Although concurrent programming is more accessible to programmers today than ever, programming of interactions between processes continues to be challenging. These interactions can be competitive or collaborative. The programming of these interaction concerns is often intermixed with the programming of the functions of individual processes. Proposed work will build formal models and mechanisms to support programming of interactions in concurrent systems.

虽然并发编程比以往任何时候都更容易被程序员所接受，但过程之间的交互编程仍然具有挑战性。这些互动可以是竞争性的，也可以是合作性的。 这些相互作用关注的编程经常与单个过程的功能的编程混合在一起。拟议的工作将建立正式的模型和机制，以支持并发系统中的交互编程。