Pages that link to "Item:Q2340255"
From MaRDI portal
The following pages link to CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255):
Displaying 15 items.
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Off-the-shelf automated analysis of liveness properties for just paths (extended abstract) (Q2117021) (← links)
- Off-the-shelf automated analysis of liveness properties for just paths (Q2182670) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Keep it fair: equivalence and composition (Q2423741) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628) (← links)
- (Q4989406) (← links)
- (Q5014797) (← links)
- (Q5020944) (← links)
- (Q5020945) (← links)
- (Q5089269) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
- A case in point: verification and testing of a EULYNX interface (Q6610254) (← links)
