The following pages link to CCS with priority guards (Q2474050):
Displaying 10 items.
- A denotational semantics for Handel-C (Q539165) (← links)
- On the expressibility of priority (Q975534) (← links)
- CCS with priority choice (Q1346713) (← links)
- Priority as extremal probability (Q1816921) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Expressing priorities and external probabilities in process algebra via mixed open/closed systems (Q2864370) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- On the Expressive Power of Restriction and Priorities in CCS with Replication (Q3617733) (← links)
- An expressiveness study of priority in process calculi (Q3655761) (← links)
- Concurrency cannot be observed, asynchronously (Q5740646) (← links)