装饰轨迹语义的预同余格式
摘要：语义等价与具体顺序进程之间的关联性的探究：以带标记的转换系统和使用Plotkin的结构方法的转换系统规范格式为代表。对于线性时间-分支时间谱中的几个预百分率，给出了一种尽可能普遍的格式，以使该预百分率对于该格式中可规范化的所有运算符都是前合同。使用相应的预百分率的模态特征推导出这些格式。
作者：B. Bloom (Cornell -> IBM), W.J. Fokkink (CWI) & R.J. van Glabbeek (Stanford)
论文ID：cs/0204039
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23