The following pages link to Jim Davies (Q674190):
Displaying 19 items.
- A brief history of Timed CSP (Q674191) (← links)
- Concurrency and refinement in the unified modeling language (Q706511) (← links)
- Recursion induction for real-time processes (Q1329195) (← links)
- A singleton failures semantics for communicating sequential processes (Q2432234) (← links)
- (Q2844827) (← links)
- (Q2844831) (← links)
- From Predicates to Programs: The Semantics of a Method Language (Q2870332) (← links)
- Domain-specific Semantics and Data Refinement of Object Models (Q2873615) (← links)
- Specification and Proof in Real Time CSP (Q3116381) (← links)
- (Q4250672) (← links)
- Specification and Proof in Real Time CSP (Q4282003) (← links)
- (Q4301167) (← links)
- (Q4370267) (← links)
- (Q4471912) (← links)
- (Q4494250) (← links)
- (Q4737562) (← links)
- (Q4762651) (← links)
- (Q5137880) (← links)
- Factorizing proofs in timed CSP (Q5887513) (← links)
