The following pages link to Programming Languages and Systems (Q5308684):
Displaying 6 items.
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- Cheap remarks about concurrent programs (Q1648894) (← links)
- Possible values: exploring a concept for concurrency (Q2374311) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- Resource monitors: A design methodology for operating systems (Q3334065) (← links)
- Programming Languages and Systems (Q5464036) (← links)