Login
Language: English  |  中文 
 
 
 

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


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

Title: Stochastic Process Algebra with Value-Passing and Weak Time Restrictions
Authors: Information Science and Engineering School, Lanzhou University, Lanzhou 730000, China, Email: forzhengguang@163.com 2 Institute of Basic Research in Clinical Medicine, China Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China
Guangxi University for Nationalities, China Academy of Chinese Medical Sciences, Nanning, 530004, China 2 School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China
Institute of Basic Research in Clinical Medicine, China Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China
Guang Zheng
Jinzhao Wu
Aiping Lu
Keywords: stochastic process algebra
value passing
equivalence
bisimulation
weak time restriction
Issue Date: 2011
Publisher: Journal of Software
Citation: Journal of Software, 2011, Vol.6 (5), pp.769-782
Abstract: Process algebra provides essential tools for studying distributed and concurrent systems. Stochastic process algebra (i.e., $\mathcal{YAWN}$) enhances the process algebra with stochastic extensions which is perfect to analyze phenomena of process with executing durations in the real world. What's more, in system runs, value passing is tightly bounded with their processes. However, stochastic process algebras lack value passing can limit their expressiveness. Based on this, we propose a process algebra of stochastic process algebra with value passing. This new process algebra can specify the behaviors of systems in a more clear and accurate way. In dealing with relationship of bisimulations, we introduce a new policy of weak time comparison between processes in bisimulation which is... moreconvenient and doable in practice.
URI: http://ir.calis.edu.cn/hdl/530500/4705
Appears in Collections:期刊论文

Files in This Item:

File Description SizeFormat
Stochastic Process Algebra with Value-Passing and Weak Time Restrictions.pdf486.59 kBAdobe PDFView/Open
Recommend this item     Add this item as favorite
View Statistics

License: See CALIS IR operational policies.

Number of Online Users: 173     Total of Site Visit: 5948741