The following pages link to Priorities in process algebras (Q802881):
Displaying 35 items.
- Under-approximation of reachability in multivalued asynchronous networks (Q276000) (← links)
- A denotational semantics for Handel-C (Q539165) (← links)
- On the axiomatizability of priority. II (Q549169) (← links)
- QoS negotiation in service composition (Q615894) (← links)
- Probabilistic and prioritized models of timed CSP (Q674193) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- Sufficient conditions for reachability in automata networks with priorities (Q896709) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- A complete axiomatization of finite-state ACSR processes (Q1376418) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
- Quantum process algebra with priorities (Q1700843) (← links)
- Priority as extremal probability (Q1816921) (← links)
- An algebraic framework for urgency (Q1854390) (← links)
- Simulation preorder over simple process algebras (Q1854513) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Priority and abstraction in process algebra (Q2381506) (← links)
- CCS with priority guards (Q2474050) (← links)
- The expressiveness of CSP with priority (Q2520703) (← links)
- Priority in process algebra. (Q2760249) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- Expressing priorities and external probabilities in process algebra via mixed open/closed systems (Q2864370) (← links)
- An expressiveness study of priority in process calculi (Q3655761) (← links)
- Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator (Q3763573) (← links)
- Causality for mobile processes (Q4645219) (← links)
- On the axiomatisability of priority (Q5458057) (← links)
- (Q5856402) (← links)
- The semantics of priority and fairness in occam (Q5887515) (← links)
- Compositional priority specification in real-time distributed systems. (Q5955750) (← links)
- A process algebra with distributed priorities (Q6104364) (← links)
