The following pages link to Christie Bolton (Q1763726):
Displaying 11 items.
- A hierarchy of failures-based models: theory and application (Q1763727) (← links)
- A singleton failures semantics for communicating sequential processes (Q2432234) (← links)
- (Q2844831) (← links)
- (Q2847409) (← links)
- (Q2863830) (← links)
- Capturing Conflict and Confusion in CSP (Q3608892) (← links)
- (Q4471912) (← links)
- (Q4494250) (← links)
- (Q4737562) (← links)
- (Q4762651) (← links)
- FM 2005: Formal Methods (Q5716877) (← links)
