Treffer 1 - 2
von 2
1
2
Provably sound semantics stack for multi-core system programming with kernel threads
Alekhin, Artem ; Paul, Wolfgang J.