process algebra with timed-priority executing policy. Actions in this process algebra are equipped with parameters of priority w and time t. For a(t, w) ...
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 ...
Process algebra with timed-priority executing policy is equipped with the ability of specifying complex behaviors of concurrent systems, esp. for web ...
Process Algebra with Timed-Priority Executing Policy. - dblp
dblp.uni-trier.de › rec › jsw › LiJCZZ11
Zhongxian Li, Miao Jiang, Gao Chen, Qinglin Zha, Guang Zheng: Process Algebra with Timed-Priority Executing Policy. J. Softw. 6(9): 1688-1695 (2011).
This paper develops a real-time process algebra, TPL mc , for modeling and reasoning about distributed real-time systems. Like the algebra PMC, TPL mc includes ...
An operational semantics for an algebraic theory of concurrency that incor- porates a notion of priority into the definition of the execution of actions is.
Jun 23, 2004 · Abstract. We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action ...
Abstract. This paper surveys the semantic ramifications of extending traditional process algebras with notions of priority that allow for some transitions ...
Abstract. Building on the standard theory of process algebra with priorities, we identify a new scheduling mechanism, called constructive reduction which is ...
Approaches to priority in process algebras can be classified according to whether tile induced notion of pre-emption on transitions.
Missing: Policy. | Show results with:Policy.