The following pages link to (Q5091106):
Displaying 3 items.
- Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
- A Sound Foundation for the Topological Approach to Task Solvability (Q5875396) (← links)
- Set-linearizable implementations from read/write operations: sets, fetch \& increment, stacks and queues with multiplicity (Q6099028) (← links)
