Back to Results
First PageMeta Content
Logic / Type theory / Combinatory logic / Intuitionistic type theory / Robert Lee Constable / FO / Theoretical computer science / Mathematical logic / Logic in computer science


Document Date: 2012-02-02 15:56:23

Open Document

File Size: 59,40 KB

Share Result on Facebook

Company

Prentice-Hall Inc. / /

Country

United States / /

IndustryTerm

distributed algorithms / nontrivial consensus algorithms / concurrent shared memory systems / correct-by-construction algorithms / distributed systems / consensus protocol / /

Organization

Cornell University / /

Person

E. Moran / Lori Lorigo / Mark Bickford Vincent Rahli / Richard Eaton / Leslie Lamport / R. W. Harper / Nancy A. Lynch / Mark Bickford / Stuart F. Allen / S. F. Allen / Handler / Morgan Kaufmann / Christoph Kreitz / /

Position

Robert L. Constable / R. L. Constable / Robert Constable / D. J. / Delegate / /

Technology

correct-by-construction algorithms / distributed systems Mark Bickford Vincent Rahli Robert Constable Cornell University Protocol / distributed algorithm / two-thirds consensus protocol / Paxos algorithm / shared memory / nontrivial consensus algorithms / ping protocol / /

SocialTag