The following pages link to Ken Pierce (Q520239):
Displayed 3 items.
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification (Q3535380) (← links)