Fifth Ifip International Conference On Theoretical Computer Science - Tcs 2008
Fifth Ifip International Conference On Theoretical Computer Science - Tcs 2008
复制标题
第五届 Ifip 国际理论计算机科学会议 - Tcs 2008
DOI：
10.1007/978-0-387-09680-3_34
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Rathke J
中科院分区：
文献类型：
--
作者：
Rathke J
我们重新审视了π演算的标准结构操作语义，认为过程结构和上下文观察力都应该在描述行为理论中发挥作用。为此，我们提供了一个分解的操作语义的π，它允许一个系统的定义标记的过渡。这些都是从微积分的基本归约规则，通过遵循上下文作为标签的哲学，同时使用结构化的方法。我们的新的过渡系统细化到一个标准的早期lts的复合描述。我们概括我们的技术，高阶和异步的变种。
We re-examine the standard structural operational semantics of the π-calculus with the view that both process structure and contextual observational power should play roles in describing the behavioural theory. To that end we provide a decomposition of the operational semantics of π which allows for a systematic definition of labelled transitions. These are derived from the calculus’ underlying reduction rules by following the contexts-as-labels philosophy while being presented using the structural approach. Our novel transition system refines to a composite description of the standard early lts. We generalise our technique to higher-order and asynchronous variants.