Stochastic extension for real time process algebra with urgency executing policy

	Stochastic extension for real time process algebra with urgency executing policy
	Li, Xifu; Zheng, Guang; Li, Lian; Wu, Jinzhao; Chen, Wenbo
	2009
会议名称	2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009
会议日期	December 11, 2009 - December 13, 2009
会议地点	Wuhan, China
关键词	Real time systems Algebra Artificial intelligence Computer software Interactive computer systems Random processes Stochastic systems Exponential distributions Process algebras Real time Real-time process algebra Stochastic process algebras
通讯作者	Zheng, G. (zhengguang@lzu.edu.cn)
会议录	Proceedings - 2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009
会议录出版地	Piscataway
学科主题	Systems Science;Probability Theory;Control Systems;Artificial Intelligence; Computer Software, Data Handling and Applications
语种	英语
内容类型	会议论文
源URL	[http://ir.lzu.edu.cn/handle/262010/183445]
专题	信息科学与工程学院_会议论文
推荐引用方式 GB/T 7714	Li, Xifu,Zheng, Guang,Li, Lian,et al. Stochastic extension for real time process algebra with urgency executing policy[C]. 见:2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009. Wuhan, China. December 11, 2009 - December 13, 2009.