Semantics of name and value passing
Semantics of name and value passing
复制标题
DOI：
10.1109/lics.2001.932486
复制
发表时间：
2001-06
期刊：
影响因子：
--
通讯作者：
M. Fiore;D. Turi
中科院分区：
文献类型：
--
作者：
M. Fiore;D. Turi
通过将抽象语法的范畴理论与绑定和操作语义相结合，为（一阶）消息传递过程演算提供了一个语义框架。特别是，我们获得了抽象的规则格式的名称和值传递与后期和早期的解释。这些格式诱导了一个初始代数/最终余代数语义，它是合成的，尊重替换，并且对于后期和早期的同余是完全抽象的。我们使用/spl pi/-演算和值传递CCS（通信系统演算）来验证该理论。
Provides a semantic framework for (first-order) message-passing process calculi by combining categorical theories of abstract syntax with binding and operational semantics. In particular, we obtain abstract rule formats for name and value passing with both late and early interpretations. These formats induce an initial-algebra/final-coalgebra semantics that is compositional, respects substitution and is fully abstract for late and early congruence. We exemplify the theory with the /spl pi/-calculus and value-passing CCS (calculus of communicating systems).