中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
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
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。