BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
2 × USA
Collaborated with:
R.v.Renesse C.Kreitz J.Hickey X.Liu K.P.Birman R.L.Constable
Talks about:
communic (3) system (2) protocol (1) reliabl (1) perform (1) environ (1) develop (1) compon (1) proof (1) optim (1)

Person: Mark Hayden

DBLP DBLP: Hayden:Mark

Contributed to:

SOSP 19991999
CADE 19981998
HPDC 19971997

Wrote 3 papers:

SOSP-1999-LiuKRHHBC #communication #component #reliability
Building reliable, high-performance communication systems from components (XL, CK, RvR, JH, MH, KPB, RLC), pp. 80–92.
CADE-1998-KreitzHH #communication #development #proving
A Proof Environment for the Development of Group Communication Systems (CK, MH, JH), pp. 317–332.
HPDC-1997-HaydenR #communication #optimisation #protocol
Optimizing Layered Communication Protocols (MH, RvR), pp. 169–177.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.