Collaborated with:A.Gotsman H.Yang Mahsa Najafzadeh Marc Shapiro 0001
Talks about:distribut (1) consist (1) system (1) strong (1) reason (1) enough (1) choic (1) about (1) caus (1)
Person: Carla Ferreira 0001
DBLP: 0001:Carla_Ferreira
Contributed to:
2016Wrote 1 papers:
- POPL-2016-GotsmanYFNS #consistency #distributed #reasoning
- 'Cause I'm strong enough: reasoning about consistency choices in distributed systems (AG, HY, CF0, MN, MS0), pp. 371–384.