| 复制受限的环境演算中模态逻辑的内涵性 |
| |
| 引用本文： | 颜锋,陈韬略,韩婷婷,吕建. 复制受限的环境演算中模态逻辑的内涵性[J]. 武汉大学学报(理学版), 2004, 50(5): 595-600 |
| |
| 作者姓名： | 颜锋 陈韬略 韩婷婷 吕建 |
| |
| 作者单位： | 南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093 |
| |
| 基金项目： | 国家重点基础研究发展规划973项目资助(2002CB312002)，国家自然科学基金资助项目(60273034)，江苏省自然科学基金资助项目(BK2002203，BK2002409) |
| |
| 摘 要： | 环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．
|
| 关 键 词： | 移动计算 进程代数 移动环境演算 模态逻辑 内涵性 同余关系 |
| 文章编号： | 1671-8836(2004)05-0595-06 |
| 修稿时间： | 2004-05-10 |
Intensionality of Modal Logic for Ambient Calculus with Restricted Replication |
| |
| YAN Feng,CHEN Tao-lue,HAN Ting-ting,LU Jian y,Nanjing ,Jiangsu,China). Intensionality of Modal Logic for Ambient Calculus with Restricted Replication[J]. JOurnal of Wuhan University:Natural Science Edition, 2004, 50(5): 595-600 |
| |
| Authors: | YAN Feng CHEN Tao-lue HAN Ting-ting LU Jian y Nanjing Jiangsu China) |
| |
| Affiliation: | YAN Feng,CHEN Tao-lue,HAN Ting-ting,LU Jian y,Nanjing 210093,Jiangsu,China) |
| |
| Abstract: | |
| |
| Keywords: | mobile computation process algebra mobile ambient modal logic intensionality |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
