a semantic preorder on refinement and fairness
文献类型:会议论文
作者 | Huang X.W. ; Jiao L. ; Lu W.M. |
出版日期 | 2007 |
会议名称 | 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 07 |
会议日期 | 43988 |
会议地点 | Shanghai, China |
关键词 | Abstracting Concurrent engineering |
页码 | 139-148 |
英文摘要 | We suggest a preorder notion for Stable Configuration Structures as a semantic model of concurrent systems. It combines the notions of observation-congruence-like fairness and the refinement operation for the specification and analysis of different levels |
收录类别 | EI |
会议录 | First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 07
![]() |
会议录出版地 | United States |
语种 | 英语 |
ISBN号 | 769528562 |
源URL | [http://124.16.136.157/handle/311060/10982] ![]() |
专题 | 软件研究所_软件所图书馆_会议论文 |
推荐引用方式 GB/T 7714 | Huang X.W.,Jiao L.,Lu W.M.. a semantic preorder on refinement and fairness[C]. 见:1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 07. Shanghai, China. 43988. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。