《 并发：莱斯利·兰伯特的研究成果 》
- 并发莱斯利·兰伯特形式化理论面包店算法帕克斯算法分布式计算容错系统人物传记精选论文
- #学术致敬 #技术综述 #传记与论文汇编 #并发领域先驱 #标准工程实践 #科研参考
- 选题分类：计算机理论
- 原版语种：英语（可提供图书翻译服务）
- 原出版地：美国
- 出版日期：2019年09月
- 页数：365页
- 图书定价：79.95 美元
- 开本：（不详）
- 内文印刷：（不详）
- 字数：（不详）
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过，您将可以在线对本作品的电子样书进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过，您将可以在线对本作品的翻译样章进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
版权推荐
★收录面包店算法、帕克斯算法等经典理论，相关成果已成为容错分布式计算的标准工程实践。
★涵盖技术解读、人物传记与经典论文三大板块，全景式展现兰伯特的学术贡献与行业影响力。
内容简介
他的研究为互联计算机执行的并发计算奠定了形式化理论基础。其中部分算法已成为容错分布式计算领域的标准工程实践方案，这类分布式系统即便在部分组件发生故障的情况下，依然能够正常运行。他还围绕并发系统的形式化规约与验证开展了大量研究工作，并推动了相关自动化工具的研发与应用。
本书的第一部分包含专业技术章节与一篇人物传记。技术章节由该领域的专家撰写，回顾了兰伯特提出的原创理念，并通过专家视角展现出这些理念的深远影响力。章节内容涵盖兰伯特提出的诸多具有跨时代意义的概念，包括面包店算法、原子共享寄存器与顺序一致性、因果关系与逻辑时间、拜占庭协定、状态机复制与帕克斯算法、动作时序逻辑。专业传记则讲述了兰伯特的职业生涯，还原了他的研究成果诞生与实现突破的背景，同时还提及了LaTeX排版系统——这或许是兰伯特在并发领域之外最具影响力的一项贡献。该章节让成就背后的人物发出了自己的声音，主角自然是兰伯特本人，此外还有那些启发他灵感、与他合作并助力他的研究成果产生全球影响力的同事们。本书的第二部分精选了莱斯利·兰伯特多篇最具影响力的论文。
这本书呈现了莱斯利·兰伯特毕生在并发领域作出的贡献，以及他对该领域从业者产生的广泛影响。它对于科学史研究者，以及从事并发领域研究、希望研读这位该领域极具影响力研究者成果的科研人员与学生而言，都具有重要的参考价值。
作者介绍
于耶路撒冷希伯来大学获得计算机科学学士、硕士与博士学位，目前担任Calibra公司首席研究员。她是2011年美国计算机协会会士，同时任职于西蒙斯研究所顾问委员会、麻省理工学院加密货币期刊顾问委员会，以及《分布式计算期刊》编委会。
她的研究生涯横跨产业界与学术界：2014年至2019年，她是威睿公司研究院的创始成员与首席研究员；2004年至2014年，担任微软硅谷研究院首席研究员；1999年至2007年，任耶路撒冷希伯来大学副教授；1995年至1999年，担任美国新泽西州美国电话电报公司实验室高级研究员。她的研究方向聚焦于分布式系统可靠性与安全性的应用与基础理论层面。
★收录面包店算法、帕克斯算法等经典理论，相关成果已成为容错分布式计算的标准工程实践。
★涵盖技术解读、人物传记与经典论文三大板块，全景式展现兰伯特的学术贡献与行业影响力。
请输入分享的Email地址：
