Process Algebra with Timed-Priority Executing Policy

Equipped with powerful machines and complex software, 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. The authors present a process algebra with timed-priority executing policy which can specify the behaviors of web servers.