The Logic of Distributed Protocols

TitleThe Logic of Distributed Protocols
Publication TypeConference Paper
Year of Publication1986
AuthorsLadner RE, Reif J
Conference NameTheoretical Aspects of Reasoning about Knowledge 1986 Conference
Citation Key1843
Last changed Mon, 2011-09-19 09:43