| specifying properties for modular pi-calculus |
| Kitamura Takashi; Lin Huimin
|
| 2008
|
| 会议名称 | 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
|
| 会议录名称 | Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008
|
| 页码 | 201-208
|
| 会议日期 | JUN 17-19,
|
| 会议地点 | Nanjing, PEOPLES R CHINA
|
| 出版地 | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
| 出版者 | TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS
|
| ISBN | 978-0-7695-3249-3
|
| 部门归属 | Kitamura, Takashi; Lin, Huimin Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100864, Peoples R China.
|
| 摘要 | 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 |
| 关键词 | Differentiation (Calculus)
Mathematical Models
Mathematical Techniques
Model Checking
Software Engineering
|
| 主办者 | IEEE Comp Soc, IEEE, IFIP, Nanjing Univ
|
| 内容类型 | 会议论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/10620
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
Kitamura Takashi,Lin Huimin. specifying properties for modular pi-calculus[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS,2008:201-208.
|
修改评论