Pages that link to "Item:Q5901855"
From MaRDI portal
The following pages link to Foundations of Security Analysis and Design II (Q5901855):
Displaying 7 items.
- Hybrid logical analyses of the ambient calculus (Q964494) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- A monotone framework for CCS (Q1749243) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Active Evaluation Contexts for Reaction Semantics (Q2866316) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- A Scalable Inclusion Constraint Solver Using Unification (Q5504597) (← links)