Xiaoming Liu

Publication Activity (10 Years)

Years Active: 1999-2001
Publications (10 Years): 0

Publications

Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming Liu
Proving Hybrid Protocols Correct. TPHOLs (2001)
Xiaoming Liu, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert L. Constable
Protocol Switching: Exploiting Meta-Properties. ICDCS Workshops (2001)
Xiaoming Liu, Robbert van Renesse
Fast protocol transition in a distributed environment (brief announcement). PODC (2000)
Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable
Building reliable, high-performance communication systems from components. SOSP (1999)