首页> 外文会议>ACM Symposium on Principles of distributed computing;Annual ACM Symposium on Principles of distributed computing >A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols

【24h】

A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols

机译：一点知识就能走很长一段路：简单的基于知识的派生和一系列协议的正确性证明

获取原文

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《ACM Symposium on Principles of distributed computing;Annual ACM Symposium on Principles of distributed computing》|1987年|P.269-280|共12页
会议地点 Vancouver(CA);Vancouver(CA)
作者
Joseph Y. Halpern;
展开▼
作者单位

IBM Almaden Research Center;

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Twenty-five years of Mokum: For 25 years of data and knowledge engineering: Correctness by design in relation to MDE~1 and correct protocols in cyberspace [J] . Reind P. van de Riet Data & Knowledge Engineering . 2008,第2期

机译：Mokum的25年：数据和知识工程的25年：与MDE〜1有关的设计正确性和网络空间的正确协议
2. Knowledge-based interaction protocols for intelligent interactive environments [J] . Flavio Soares Correa da Silva Knowledge and information systems . 2013,第1期

机译：用于智能交互环境的基于知识的交互协议
3. Statistical channel knowledge-based optimum power allocation for relaying protocols in the high SNR regime [J] . Ramesh Annavajjala, Pamela C. Cosman, Laurence B. Milstein IEEE Journal on Selected Areas in Communications . 2007,第2期

机译：高信噪比条件下基于统计信道知识的中继协议最佳功率分配
4. An illustration of current ideas on the derivation of correctness proofs and correct programs [C] . David Gries Proceedings of the 2nd international conference on Software engineering . 1976

机译：关于正确性证明和正确程序的最新思想的说明
5. Zero-Knowledge Proof, Deniability and Their Applications in Blockchain, E-Voting and Deniable Secret Handshake Protocols [D] . Panja, Somnath. 2021

机译：在区块链，电子投票和可拒绝握手协议中的零知识证明，赋予性及其应用
6. Knowledge-based expert systems and a proof-of-concept case study for multiple sequence alignment construction and analysis [O] . Mohamed Radhouene Aniba, Sophie Siguenza, Anne Friedrich, -1

机译：基于知识的专家系统以及用于多序列比对构建和分析的概念验证案例研究
7. A Little Knowledge Goes a Long Way: Knowledge-based derivations and correctness proofs for a family of protocols [O] . Joseph Y. Halpern, Lenore D. Zuck 1992

机译：小知识大有帮助：一系列协议的基于知识的推导和正确性证明
8. Knowledge-Based Protocols for Distributed Systems with Transient Channel Failures [R] . Mohanty, H. 1988

机译：具有暂态信道故障的分布式系统的基于知识的协议

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号