吉安·卢卡·卡塔尼;伊恩·斯塔克;格林·温斯克尔 \(\pi\)-演算的预处理模型。 (英语) 兹比尔0884.68078 Moggi,Eugenio(编辑)等人,《范畴理论与计算机科学》。1997年9月4日至6日,第七届国际会议,CTCS'97,意大利利古雷圣玛格丽塔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1290, 106-126 (1997). 摘要:最近的工作表明,预处理类别提供了一个通用的并发模型,其中内置了基于开放映射的互模拟概念。这里展示了这种方法如何处理动作语言可能随着过程的发展而动态变化的系统。示例是\(\pi\)-演算,这是一种“移动进程”演算,其通信拓扑随通道的创建和丢弃而变化。本文描述了profunctor索引范畴内的(pi)-演算的指称语义;该模型对于双相似性是完全抽象的,从这个意义上说,模型中从开放映射获得的互模拟与从pi演算的操作语义获得的通常互模拟是一致的。虽然注意力集中在\(\pi\)-演算的“后期”语义上,但也指出了如何捕获“早期”和其他变体。关于整个系列,请参见[Zbl 0871.00036号]. 引用于13文件 MSC公司: 68问题55 计算理论中的语义学 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 18层20 预提升和滑轮、堆垛、下降条件(理论方面) 18立方厘米 理论(例如代数理论)、结构和语义 关键词:预切类别;指称语义学 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Cattani}等人,Lect。注释计算。科学。1290106-126(1997年;兹bl 0884.68078)