A precongruence format for should testing preorder

doi:10.1016/j.jlap.2010.03.001

CSpace

	A precongruence format for should testing preorder
	Huang, Xiaowei 1; Jiao, Li 2; Lu, Weiming 3
	2010-04-01
发表期刊	JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
ISSN	1567-8326
卷号	79 期号:3-5 页码:245-263
摘要	Should testing preorder was proposed as a liveness-preserving precongruence for a process algebra except nondeterministic choice operator [22]. However, this precongruence result cannot be generalized to other languages before carefully proved. In the paper, we handle this by showing that tau Des format is a precongruence format for should testing preorder. A precongruence format guarantees the precongruence of given preorder by imposing syntactic restrictions on languages. The tau Des format [23] was suggested to be a precongruence format for testing preorder, which is incomparable with should testing preorder on discriminative power. Moreover, we give its applications by looking into the ACP language. (C) 2010 Elsevier Inc. All rights reserved.
关键词	Should testing preorder Rule format Testing theory Structural operational semantics
DOI	10.1016/j.jlap.2010.03.001
语种	英语
WOS记录号	WOS:000278289300003
出版者	ELSEVIER SCIENCE INC
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/10564
专题	中国科学院数学与系统科学研究院
通讯作者	Huang, Xiaowei
作者单位	1.Univ New S Wales, Sch Comp Sci & Engn, Sydney, NSW, Australia 2.Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing 100864, Peoples R China 3.Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100864, Peoples R China
推荐引用方式 GB/T 7714	Huang, Xiaowei,Jiao, Li,Lu, Weiming. A precongruence format for should testing preorder[J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING,2010,79(3-5):245-263.
APA	Huang, Xiaowei,Jiao, Li,&Lu, Weiming.(2010).A precongruence format for should testing preorder.JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING,79(3-5),245-263.
MLA	Huang, Xiaowei,et al."A precongruence format for should testing preorder".JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 79.3-5(2010):245-263.