The following pages link to David Clark (Q436318):
Displaying 17 items.
- Squeeziness: an information theoretic measure for avoiding fault masking (Q436319) (← links)
- An alternative characterization of weak order dependence (Q1675759) (← links)
- Information flow for Algol-like languages (Q1869976) (← links)
- Normalised squeeziness and failed error propagation (Q2274482) (← links)
- (Q2722050) (← links)
- (Q2766630) (← links)
- (Q2849851) (← links)
- (Q2863836) (← links)
- Quantitative Information Flow, Relations and Polymorphic Types (Q3025333) (← links)
- A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis (Q3163895) (← links)
- Correctly Slicing Extended Finite State Machines (Q3297841) (← links)
- (Q4222786) (← links)
- (Q4281609) (← links)
- (Q4737552) (← links)
- (Q4870820) (← links)
- (Q5284547) (← links)
- A semiring-based trace semantics for processes with applications to information leakage analysis (Q5740623) (← links)
