The following pages link to (Q5091106):
Displaying 12 items.
- Generic transforms on incomplete specifications of asynchronous interfaces (Q276483) (← links)
- Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
- Beyond contracts for concurrency (Q846113) (← links)
- GOFFIN: Higher-order functions meet concurrent constraints (Q1380128) (← links)
- (Q4494254) (← links)
- Local linearizability for concurrent container-type data structures (Q4608657) (← links)
- Unifying Concurrent Objects and Distributed Tasks (Q4625665) (← links)
- (Q4934623) (← links)
- Constraints for polymorphic behaviours of concurrent ML (Q5096301) (← links)
- A Sound Foundation for the Topological Approach to Task Solvability (Q5875396) (← links)
- Distributed Computing (Q5897405) (← links)
- Set-linearizable implementations from read/write operations: sets, fetch \& increment, stacks and queues with multiplicity (Q6099028) (← links)