|
Abstract : |
In asynchronous distributed systems logical time is usually interpreted as "possible causality ", a partial order on event occurrences. We investigate the relationship between passage of time and changes in the knowledge of agents. We show that there is a certain duality between knowledge transition systems (defined here to model changes in the states of knowledge of agents) and partially ordered sets of event occurrences (the model of n-Asynchronously Communicating Sequential Agents)., |
