分割过程的步骤及其在协调中的应用
摘要：使用具有多动作的过程代数中的过程拆分过程。这个拆分过程将一个过程分为两个过程，沿着一个动作集合A：大致地说，其中一个过程不包含A中的任何动作，而另一个过程仅包含A中的动作。我们陈述并证明了一个定理，断言这两个过程的并行组合在适当的同步下等于原始过程。我们将我们的拆分程序应用于Reo协调语言的过程代数语义：使用这个程序和相关的定理，我们正式地建立了在Reo的实现中沿着它们的（a）同步区域边界拆分Reo连接器的完备性。这种拆分可以显著提高连接器的性能。
作者：Sung-Shik T. Q. Jongmans, Dave Clarke, Jos''e Proenc{c}a
论文ID：1209.1422
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-09-10