• TLAP公司

  • 引用9篇文章[sw09528]
  • 例子,见拜占庭的证据帕克索斯算法和安全性证明。。。
  • DiskPaxos公司

  • 引用2篇文章[sw29236]
  • DiskPaxos:证明磁盘的正确性帕克索斯. 磁盘帕克索斯是一种生成任意。。。容忍分布式系统。磁盘规格帕克索斯已经被非正式证明是正确的。。。
  • 希伯特姆

  • 引用2篇文章[sw20575]
  • 副本一致性由a)OS保证-帕克索斯一个乐观的原子广播层。。。
  • github

  • 在1503篇文章中引用[sw23170]
  • GitHub(原名Logical Awesome LLC)[3。。。