Process algebra with goal based bisimulation

	Process algebra with goal based bisimulation
	Zheng, Guang; Jiang, Miao; Chen, Gao; Zha, Qinglin; Lu, Aiping
	2010
会议名称	3rd International Symposium on Electronic Commerce and Security, ISECS 2010
会议日期	July 29, 2010 - July 31, 2010
会议地点	Guangzhou, China
关键词	Algebra Electronic commerce Bisimulations Complex systems Equivalent Goal based Process algebras
页码	89-95
通讯作者	Zheng, G. (forzhengguang@163.com)
会议录	3rd International Symposium on Electronic Commerce and Security, ISECS 2010
会议录出版地	Piscataway
学科主题	Industrial Economics
语种	英语
内容类型	会议论文
源URL	[http://ir.lzu.edu.cn/handle/262010/183493]
专题	信息科学与工程学院_会议论文
推荐引用方式 GB/T 7714	Zheng, Guang,Jiang, Miao,Chen, Gao,et al. Process algebra with goal based bisimulation[C]. 见:3rd International Symposium on Electronic Commerce and Security, ISECS 2010. Guangzhou, China. July 29, 2010 - July 31, 2010.