Pages that link to "Item:Q1854437"
From MaRDI portal
The following pages link to Static analysis for the \(\pi\)-calculus with applications to security (Q1854437):
Displaying 6 items.
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- Weakening the perfect encryption assumption in Dolev-Yao adversaries (Q557896) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
- Control Flow Analysis of Generalised Boolean Networks (Q5404092) (← links)
