Collaborated with:A.Gotsman H.Yang Carla Ferreira 0001 Mahsa Najafzadeh
Talks about:distribut (1) consist (1) system (1) strong (1) reason (1) enough (1) choic (1) about (1) caus (1)
Person: Marc Shapiro 0001
DBLP: 0001:Marc_Shapiro
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.