用于进程组件的接口群
计算机科学中的逻辑
2010-07-12 v2
摘要
我们将进程组件定义为接口与行为的配对。我们在进程代数框架下研究交互进程组件的组合。通过接口群（interface group）形式化交互进程组件的接口。接口群的一个有趣特征是，它允许区分进程组件接口中的期望与承诺。当涉及同时具有客户端和服务器端行为的组件时，这种区分便发挥作用。
引用
@article{arxiv.0711.0834,
title = {An interface group for process components},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:0711.0834},
year = {2010}
}
评论
26 pages; section on non-associativity of component composition added, examples added