Language: English  |  中文 

广西民族大学机构知识库 > → 广西民族大学 > → 信息科学与工程学院 > → 期刊论文 >

Please use this identifier to cite or link to this item: http://ir.calis.edu.cn/hdl/530500/4710

Title: Real Time Process Algebra with Urgency Executing Policy
Authors: School of Information Science and Engineering,Lanzhou University, Lanzhou, China 730000,{chenwb, zhengguang, lil}@lzu.edu.cn
School of Computer and Information Technology,Beijing Jiaotong University,Beijing, China, 100044
3Chengdu Institute of Computer Applications Chinese Academy of Sciences,Chengdu, China, 610054 himrwujz@yahoo.com.cn
Wenbo Chen
Guang Zheng
Lian Li
Jinzhao Wu
Keywords: process algebra
executing policy
real time
Issue Date: 2009
Publisher: Journal of Software
Citation: Journal of Software, 2009, Vol.4 (1), pp.34-41
Abstract: Real time systems have a natural executing policy of urgency. However, real time process algebras of nowadays cannot specify this basic executing policy which limits their expressiveness. There is only one default policy called “maximal progress” in process algebras which is not enough to specify the behaviors of real time systems. Based on this, we propose a real time process algebra with urgency executing policy which can specify the behaviors of real time systems.
URI: http://ir.calis.edu.cn/hdl/530500/4710
Appears in Collections:期刊论文

Files in This Item:

File Description SizeFormat
Real Time Process Algebra with Urgency Executing Policy.pdf145.07 kBAdobe PDFView/Open
Recommend this item     Add this item as favorite
View Statistics

License: See CALIS IR operational policies.

Number of Online Users: 160     Total of Site Visit: 5948799