pratt@SU-NAVAJO.ARPA (Vaughan Pratt) (05/28/86)
Speaker: Rohit Parikh Date: Thursday, June 5, 1986 Time: 9:30-10:45 Place: MJ352 Title: Levels of Knowledge in Distributed Computing Abstract: It is well known that the notion of knowledge is a useful one for understanding distributed computing and in particular, synchronous and asynchronous communication can be distinguished by the possibility or impossibility of common knowledge being achieved. We show that knowledge of facts in distributed systems can be at various levels, these levels are partially ordered, and that a characterisation of these levels can be given which brings together knowledge, regular sets and well partial orderings (not the same as well founded partial orderings).