Travelled to:
1 × USA
Collaborated with:
A.Aiken G.Golan-Gueta G.Ramalingam M.Sagiv
Talks about:
control (1) concurr (1) compos (1)
Person: Ofri Ziv
DBLP: Ziv:Ofri
Contributed to:
Wrote 1 papers:
- PLDI-2015-ZivAGRS #concurrent
- Composing concurrency control (OZ, AA, GGG, GR, MS), pp. 240–249.