Kenneth P. Birman

Theory and practice in distributed systems

1995

Reliable distributed computing with the Isis toolkit

1994

Guide to Reliable Distributed Systems

2014

Building secure and reliable network applications

1997

TINA '96 conference

1996

Reliable Distributed Systems

2005

Guide To Reliable Distributed Systems Building Highassurance Applications And Cloudhosted Services

2012