The following pages link to (Q2703725):
Displayed 5 items.
- Quantified abstract configurations of distributed systems (Q493525) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- A static analysis for brane calculi providing global occurrence counting information (Q2405890) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- A Global Occurrence Counting Analysis for Brane Calculi (Q5743592) (← links)