A knowledge-based approach to verifying message complexity lower bounds of two distributed computing problems
碩士 === 國立交通大學 === 資訊工程系 === 90 === Knowledge is a kind of modal logic. It was proposed by Halpern et al. in 1984, and provides a unified framework and a set of tools for formal proofs about impossibility results. Knowledge has been extensively used since then as an analytical tool to prov...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2002
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/60833712360117209082 |