extended symbolic transition graphs with assignment

ISCAS OpenIR

	extended symbolic transition graphs with assignment
	Deng WJ; Lin HM
	2005
会议名称	29th Annual International Computer Software and Applications Conference
会议录名称	Proceedings - International Computer Software and Applications Conference
页码	227-232
会议日期	JUL 26-28,
会议地点	Edinburgh, SCOTLAND
收录类别	istp ; ieee ; ei
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	Proceedings of the 29th Annual International Computer Software and Applications Conference
ISSN	0730-3157
ISBN	0-7695-2413-3
部门归属	Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China.
摘要	An extension of symbolic transition graphs with assignment is proposed which combines the advantages of both the assignment-before-action and the assignment after-action approaches: like the former it allows a simple set of rules to be designe
关键词	Concurrent Systems Process Algebra Value-passing Symbolic Transition Graphs Verification Model Checking Bisimulation Checking
主办者	IEEE Comp Soc
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12596
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Deng WJ,Lin HM. extended symbolic transition graphs with assignment[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:Proceedings of the 29th Annual International Computer Software and Applications Conference,2005:227-232.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
01510024.pdf（129KB）			开放获取	--	请求全文