The following pages link to CCS with priority guards (Q2474050):
Displaying 8 items.
- A denotational semantics for Handel-C (Q539165) (← links)
- On the expressibility of priority (Q975534) (← 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)
