Pages that link to "Item:Q5178034"
From MaRDI portal
The following pages link to From process logic to program logic (Q5178034):
Displaying 4 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Flow logic for process calculi (Q2875077) (← links)
- Time Bounds for General Function Pointers (Q3178280) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)