Liveness characterization for GFC systems .1.

	Liveness characterization for GFC systems .1.
	Cao, CG
	1996-04-01
发表期刊	SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
ISSN	1006-9321
卷号	39 期号:2 页码:196-205
摘要	The significant features concerning liveness of generalized free-choice (GFC) systems are discussed. These features provide a sound basis for analyzing liveness of GFC systems in a reductive approach. What is interesting is that the characterization is just based on deadlocks, rather than on both deadlocks and traps as Commoner characterizes the liveness of ordinary free-choice systems. Several proof techniques for proving liveness-related features of GFC systems are introduced.
关键词	free-choice net liveness generalized free-choice net
收录类别	SCI
语种	英语
WOS研究方向	Engineering ; Materials Science
WOS类目	Engineering, Multidisciplinary ; Materials Science, Multidisciplinary
WOS记录号	WOS:A1996WB00800010
出版者	SCIENCE CHINA PRESS
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/5443
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Cao, CG
作者单位	CHINESE ACAD SCI,COMP TECHNOL INST,BEIJING 100080,PEOPLES R CHINA
推荐引用方式 GB/T 7714	Cao, CG. Liveness characterization for GFC systems .1.[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,1996,39(2):196-205.
APA	Cao, CG.(1996).Liveness characterization for GFC systems .1..SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,39(2),196-205.
MLA	Cao, CG."Liveness characterization for GFC systems .1.".SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES 39.2(1996):196-205.