The following pages link to Model checking mobile ambients (Q1884885):
Displaying 7 items.
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Expressiveness and complexity of graph logic (Q870359) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Undecidability of Model Checking in Brane Logic (Q2864500) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Deciding Reachability in Mobile Ambients with Name Restriction (Q5179047) (← links)
