¹School of Information Science-Engineering, Lanzhou University, Lanzhou, 730000, China
²Institute of Basic Research in Clinical Medicine, China Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China
³Life Science School, Hubei University, Wuhan 430062, China
⁴Data Analysis Center, Jiangxi University of Traditional Chinese Medicine Nanchang 330006, Jiangxi Province, China

---

Abstract—Equipped with powerful machines and complex softwares, web servers providing services are widely used all over the Internet. But, how to specify their behaviors are interesting and meaningful. However, process algebras nowadays cannot specify the behaviors of web servers with time limitations and different groups of clients who are belong to different groups/priorities. The behaviors of web servers can be expressed by actions equipped with parameters of time t and priority w. We present a process algebra with timed-priority executing policy which can specify the behaviors of web servers.

Index Terms—process algebra, executing policy, web server, time limitation, priority.

[PDF]

Cite: Zhongxian Li, Miao Jiang, Gao Chen, Qinglin Zha, Guang Zheng, "Process Algebra with Timed-Priority Executing Policy," Journal of Software vol. 6, no. 9, pp. 1688-1695, 2011.