并发的Span(Graph)模型的过程代数
摘要：TCP（真正并发的进程）是一种过程代数，与基于Span（RGraph）的自动机并发模型密切对应。在TCP中，每个进程都有固定的接口集。操作可以同时发生在进程的所有接口上。异步性通过使用静默操作来建模。通信是匿名的：进程P和Q之间的通信由将P的一些端口连接到Q的一些端口的操作描述；一个进程只能通过其接口与其他进程通信。该模型自然配备了一个基于Span（RGraph）中的操作的组合语义，该语义在[5]中引入，并在[6,7,10]中进行了发展。
作者：P. Katis, N. Sabadini, R.F.C. Walters
论文ID：0904.3964
分类：Category Theory
分类简称：math.CT
提交时间：2009-04-28