Ido Ben-Zvi & Yoram Moses (2010):
Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems.
In: Nancy A. Lynch & Alexander A. Shvartsman: DISC 2010: Distributed Computing,
LNCS 6343.
Springer,
pp. 421–436,
doi:10.1007/978-3-642-15763-9_42.
Ido Ben-Zvi & Yoram Moses (2013):
Agent-Time Epistemics and Coordination.
In: Kamal Lodaya: ICLA 2013: Logic and Its Applications,
LNCS 7750.
Springer,
pp. 97–108,
doi:10.1007/978-3-642-36039-8_9.
Ido Ben-Zvi & Yoram Moses (2014):
Beyond Lamport's Happened-before: On Time Bounds and the Ordering of Events in Distributed Systems.
Journal of the ACM 61(2:13),
doi:10.1145/2542181.
James E. Burns & Nancy A. Lynch (1987):
The Byzantine Firing Squad Problem.
In: Franco P. Preparata: Parallel and Distributed Computing,
Advances in Computing Research: A research annual 4.
JAI Press,
pp. 147–161.
Available at https://apps.dtic.mil/docs/citations/ADA154770.
Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger & Christoph Lenzen (2014):
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip.
Journal of Computer and System Sciences 80(2),
pp. 860–900,
doi:10.1016/j.jcss.2014.01.001.
Cynthia Dwork & Yoram Moses (1990):
Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures.
Information and Computation 88(2),
pp. 156–186,
doi:10.1016/0890-5401(90)90014-9.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995):
Reasoning About Knowledge.
MIT Press.
Patrik Fimml (2018):
Temporal-Epistemic Logic in Byzantine Message-Passing Contexts.
Technische Universität Wien, Institut für Computer Engineering.
Available at http://publik.tuwien.ac.at/files/publik_273448.pdf.
Matthias Függer & Ulrich Schmid (2012):
Reconciling fault-tolerant distributed computing and systems-on-chip.
Distributed Computing 24(6),
pp. 323–355,
doi:10.1007/s00446-011-0151-7.
Yannai A. Gonczarowski & Yoram Moses (2013):
Timely Common Knowledge: Characterising Asymmetric Distributed Coordination via Vectorial Fixed Points.
In: Burkhard C. Schipper: TARK 2013: Theoretical Aspects of Rationality and Knowledge,
pp. 79–93.
Available at http://www.tark.org/proceedings/tark_jan7_13/p79-gonczarowski.pdf.
Guy Goren & Yoram Moses (2018):
Silence.
In: PODC 2018: Principles of Distributed Computing.
ACM,
pp. 285–294,
doi:10.1145/3212734.3212768.
Joseph Y. Halpern & Yoram Moses (1990):
Knowledge and Common Knowledge in a Distributed Environment.
Journal of the ACM 37(3),
pp. 549–587,
doi:10.1145/79147.79161.
Joseph Y. Halpern, Yoram Moses & Orli Waarts (2001):
A characterization of eventual Byzantine agreement.
SIAM Journal on Computing 31(3),
pp. 838–865,
doi:10.1137/S0097539798340217.
Jaakko Hintikka (1962):
Knowledge and Belief: An Introduction to the Logic of the Two Notions.
Cornell University Press.
Roman Kuznets, Laurent Prosperi, Ulrich Schmid & Krisztina Fruzsa (2019):
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems.
In: Lawrence S. Moss: TARK 2019: Theoretical Aspects of Rationality and Knowledge,
EPTCS 297.
Open Publishing Association,
pp. 293–312,
doi:10.4204/EPTCS.297.19.
Roman Kuznets, Laurent Prosperi, Ulrich Schmid & Krisztina Fruzsa (2019):
Epistemic Reasoning with Byzantine-Faulty Agents.
In: Andreas Herzig & Andrei Popescu: FroCoS 2019: Frontiers of Combining Systems,
LNCS 11715.
Springer,
pp. 259–276,
doi:10.1007/978-3-030-29007-8_15.
Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa & Lucas Gréaux (2019):
Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone.
Technical Report TUW-260549.
TU Wien.
Available at https://publik.tuwien.ac.at/files/publik_260549.pdf.
Leslie Lamport (1978):
Time, Clocks, and the Ordering of Events in a Distributed System.
Communications of the ACM 21(7),
pp. 558–565,
doi:10.1145/359545.359563.
Leslie Lamport, Robert Shostak & Marshall Pease (1982):
The Byzantine Generals Problem.
ACM Transactions on Programming Languages and Systems 4(3),
pp. 382–401,
doi:10.1145/357172.357176.
Yoram Moses (2015):
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle.
In: R. Ramanujam: TARK 2015: Theoretical Aspects of Rationality and Knowledge,
EPTCS 215.
Open Publishing Association,
pp. 231–245,
doi:10.4204/EPTCS.215.17.
Yoram Moses & Yoav Shoham (1993):
Belief as defeasible knowledge.
Artificial Intelligence 64(2),
pp. 299–321,
doi:10.1016/0004-3702(93)90107-M.
Yoram Moses & Mark R. Tuttle (1986):
Programming Simultaneous Actions Using Common Knowledge: Preliminary Version.
In: 27th Annual Symposium on Foundations of Computer Science.
IEEE,
pp. 208–221,
doi:10.1109/SFCS.1986.46.
Yoram Moses & Mark R. Tuttle (1988):
Programming Simultaneous Actions Using Common Knowledge.
Algorithmica 3,
pp. 121–169,
doi:10.1007/BF01762112.
Peter Robinson & Ulrich Schmid (2011):
The Asynchronous Bounded-Cycle model.
Theoretical Computer Science 412(40),
pp. 5580–5601,
doi:10.1016/j.tcs.2010.08.001.
T. K. Srikanth & Sam Toueg (1987):
Optimal Clock Synchronization.
Journal of the ACM 34(3),
pp. 626–645,
doi:10.1145/28869.28876.
T. K. Srikanth & Sam Toueg (1987):
Simulating authenticated broadcasts to derive simple fault-tolerant algorithms.
Distributed Computing 2(2),
pp. 80–94,
doi:10.1007/BF01667080.
Alfred Tarski (1955):
A lattice-theoretical fixpoint theorem and its applications.
Pacific Journal of Mathematics 5(2),
pp. 285–309,
doi:10.2140/pjm.1955.5.285.
Josef Widder & Ulrich Schmid (2009):
The Theta-Model: achieving synchrony without clocks.
Distributed Computing 22(1),
pp. 29–47,
doi:10.1007/s00446-009-0080-x.
eptcs@eptcs.org