Synopses & Reviews
Synopsis
Chap. 1, Introduction.- Chap. 2, Theory of Finite Goal-Oriented Communication.- Chap. 3, Verifiable Goals for Communication.- Chap. 4, Conditions for Efficiency in Finite Executions.- Chap. 5, Computational Complexity of Goals.- Chap. 6, Theory of Goal-Oriented Communication in Infinite Executions.- Chap. 7, The Power of Relaxed Models.- Chap. 8, The Error Complexity of Strategies in Infinite Executions.- Chap. 9, Towards Applications: Communication with a Changing Network.- Protocol.- Chap. 10, Conclusions and Directions for Future Work.- App. A, Background in Probability.- App. B, Background in Interactive Proof Systems.- App. C, Additional Background.- Bibliography.