Pages that link to "Item:Q1887169"
From MaRDI portal
The following pages link to On abstract interpretation of mobile ambients (Q1887169):
Displaying 6 items.
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- A static analysis for brane calculi providing global occurrence counting information (Q2405890) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
