Knowledge and the ordering of events in distributed systems: extended abstract

Authors:
Paul J. Krasucki;R. Ramanujam
Affiliations:
Rutgers University, Camden College, Camden, NJ;The Institute of Mathematical Sciences, C.I.T. Campus, Madras, India
Venue:
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Year:
1994

Citing 9
Cited 5

How processes learn

Distributed Computing
A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Knowledge and common knowledge in a distributed environment

Journal of the ACM (JACM)
Knowledge and common knowledge in a byzantine environment: crash failures

Information and Computation
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
A Link Between Knowledge and Communication in Faulty Distributed Systems

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
The Duality of TIme and Information

CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Distributed Processes and the Logic of Knowledge

Proceedings of the Conference on Logic of Programs
Basic notions of trace theory

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop

Local knowledge assertions in a changing world: extended abstract

TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Historical and computational aspects of paraconsistency in view of the logic foundation of databases

Proceedings of the 2nd international conference on Semantics in databases
Automata for Epistemic Temporal Logic with Synchronous Communication

Journal of Logic, Language and Information
Beyond Lamport's happened-before: on the role of time bounds in synchronous systems

DISC'10 Proceedings of the 24th international conference on Distributed computing
Knowledge as a window into distributed coordination

ICDCIT'12 Proceedings of the 8th international conference on Distributed Computing and Internet Technology

Quantified Score

Hi-index	0.00

Visualization

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).