返回Google圖書搜尋

A Note on Knowledge-based Protocols and Specifications

Thomas J. Watson IBM Research CenterJerry Halpern

出版	IBM Thomas J. Watson Research Division, 1991
URL	http://books.google.com.hk/books?id=j-jRHAAACAAJ&hl=&source=gbs_api

註釋Abstract: "We view a knowledge-based protocol as specifying a set of systems (where a system is a set of runs), in contrast to a standard protocol, which specifies a set of runs. This point of view helps clarify the relationship between standard and knowledge-based protocols. It also leads naturally to a useful notion of knowledge-based specification, a specification that, like a knowledge-based protocol, can be identified with a set of systems."