The following pages link to (Q4222938):
Displaying 11 items.
- An algebra of behavioural types (Q418153) (← links)
- Refined typing to localize the impact of forced strictness on free theorems (Q766167) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Information flow for Algol-like languages (Q1869976) (← links)
- Mathematical theory of truth-valued flow inference (Q1914513) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Cryptographic analysis in cubic time (Q2841271) (← links)
- Flow logic for process calculi (Q2875077) (← links)
- Probabilistic Semantics and Program Analysis (Q3575027) (← links)
- (Q4727439) (← links)
- Fundamental Approaches to Software Engineering (Q5428888) (← links)