Keeping track of the latest gossip in a distributed system

An Automata-Theoretic Approach to Automatic Program Verification

Moshe Y. Vardi, Pierre Wolper · ORBi (University of Liège) · 1986 · 1.3K citations · Full text

Computing, Computer Engineering, Computer Science +14

A survey of gossiping and broadcasting in communication networks

Sandra M. Hedetniemi, Stephen T. Hedetniemi, Arthur L. Liestman · Networks · 1988 · 1.2K citations

Social Sciences, Communication, Computer Science +14

Knowledge and common knowledge in a distributed environment

Joseph Y. Halpern, Yoram Moses · Journal of the ACM · 1990 · 963 citations · Full text

Computing, Communication, Computer Science +17

On the complexity of omega -automata

1988 · 515 citations

Computing, Computer Science, Mathematics +15

Automata on infinite objects

Wolfgang Thomas · 1988 · 432 citations

Computing, Computer Science, Mathematics +15