.png){kind=icon}
返回
Fair Termination for Resource-Aware Active Objects
.png){kind=icon}
PRE
AI
DOI：10.1007/978-981-95-3585-9_2.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
主动对象系统是一种分布式计算模型，已被用于建模分布式系统和业务流程工作流。该建模领域本质上具有并发性和资源感知性，这促使在主动对象模型上开发资源感知的形式化方法。本工作的贡献包括：开发了一种用于资源感知主动对象的核心演算，以及一个类型系统，确保良构程序是公平终止的，即它们最终总能终止。为实现此目标，我们将来自分级语义和类型系统的技术（这些技术对于顺序程序已有充分理解）与用于公平终止的技术（这些技术已为同步会话开发）相结合。
Keyword:
graded types
active-objects
resource-aware
fair termination
workflows
期刊
P
IF:
0
论文数:
13
被引数:
0
查看更多机构
.png){kind=icon}
