specifying properties for modular pi-calculus
文献类型：会议论文
| 作者 | Kitamura Takashi ; Lin Huimin |
| 出版日期 | 2008 |
| 会议名称 | 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering |
| 会议日期 | JUN 17-19, |
| 会议地点 | Nanjing, PEOPLES R CHINA |
| 关键词 | Differentiation (calculus) Mathematical models Mathematical techniques Model checking Software engineering |
| 页码 | 201-208 |
| 英文摘要 | We propose a modal logic for Modular pi calculus 12: a logic to specify both temporal and spatial properties for processes in Modular pi calculus. Characterization of process equivalence the logic induce is investigated, and it is shown that t |
| 会议主办者 | IEEE Comp Soc, IEEE, IFIP, Nanjing Univ |
| 会议录 | Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008
 |
| 会议录出版者 | TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS |
| 会议录出版地 | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| ISBN号 | 978-0-7695-3249-3 |
| 源URL | [http://124.16.136.157/handle/311060/10620]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _会议论文 |
| 推荐引用方式 GB/T 7714 | Kitamura Takashi,Lin Huimin. specifying properties for modular pi-calculus[C]. 见:2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering. Nanjing, PEOPLES R CHINA. JUN 17-19,. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。