The following pages link to Priorities in process algebras (Q802881):
Displayed 12 items.
- Probabilistic and prioritized models of timed CSP (Q674193) (← 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)
- Priority as extremal probability (Q1816921) (← links)
- An algebraic framework for urgency (Q1854390) (← links)
- Priority and abstraction in process algebra (Q2381506) (← links)
- CCS with priority guards (Q2474050) (← links)
- On the axiomatisability of priority (Q5458057) (← links)
- Compositional priority specification in real-time distributed systems. (Q5955750) (← links)