Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence

doi:10.1093/comjnl/bxn009

CSpace

	Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence
	Huang, Xiaowei 1; Jiao, Li 2; Lu, Weiming 1
	2010
发表期刊	COMPUTER JOURNAL
ISSN	0010-4620
卷号	53 期号:1 页码:21-36
摘要	Weak equivalences are important behavioral equivalences in the course of specifying and analyzing reactive systems using process algebraic languages. In this paper, we propose a series of weak equivalences named weak parametric readiness equivalences, which take two previously known behavioral equivalences, i.e. the weak readiness equivalence and the weak possible future equivalence, as their special cases. More importantly, based on the idea of structural operational semantics, a series of rule formats are presented to guarantee congruence for these weak parametric readiness equivalences, i.e. to show that the proposed rule formats can guarantee the congruence of their corresponding weak parametric readiness equivalences. This series of rule formats reflects the differences in the weak parametric readiness equivalences. We conclude that when the weak parametric readiness equivalences become coarser, their corresponding rule formats turn tighter.
关键词	weak equivalences congruence formats structural operational semantics
DOI	10.1093/comjnl/bxn009
语种	英语
资助项目	National Natural Science Foundation of China[60421001]
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Information Systems ; Computer Science, Software Engineering ; Computer Science, Theory & Methods
WOS记录号	WOS:000272926900003
出版者	OXFORD UNIV PRESS
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/10664
专题	中国科学院数学与系统科学研究院
通讯作者	Huang, Xiaowei
作者单位	1.Chinese Acad Sci, Acad Math & Syst Sci, Zhong Guan Cun Beijing 100080, Peoples R China 2.Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Huang, Xiaowei,Jiao, Li,Lu, Weiming. Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence[J]. COMPUTER JOURNAL,2010,53(1):21-36.
APA	Huang, Xiaowei,Jiao, Li,&Lu, Weiming.(2010).Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.COMPUTER JOURNAL,53(1),21-36.
MLA	Huang, Xiaowei,et al."Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence".COMPUTER JOURNAL 53.1(2010):21-36.