K. Baukus & R. van der Meyden (2004):
A knowledge based analysis of cache coherence..
In: Proc. 6th Int. Conf. on Formal Engineering Methods,
pp. 99–114,
doi:10.1007/978-3-540-30482-1_15.
S. Bensalem, D. Peled & J. Sifakis (2010):
Knowledge Based Scheduling of Distributed Systems.
In: Time for Verification, Essays in Memory of Amir Pnueli.
Springer LNCS 6200,
pp. 26–41,
doi:10.1007/978-3-642-13754-9_2.
R. Bozianu, C. Dima & E. Filiot (2014):
Safraless Synthesis for Epistemic Temporal Specifications.
In: Proc. Int. Conf. on Computer Aided Verification,
pp. 441–456,
doi:10.1007/978-3-319-08867-9_29.
R. I. Brafman, J-C. Latombe, Y. Moses & Y. Shoham (1997):
Applications of a logic of knowledge to motion planning under uncertainty.
JACM 44(5),
doi:10.1145/265910.265912.
J. Burgess (1979):
Logic and time.
Journal of Symbolic Logic 44,
pp. 556–582,
doi:10.2307/2273296.
C. Dwork & Y. 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.
K. Engelhardt, R. van der Meyden & Y. Moses (1998):
Knowledge and the Logic of Local Propositions.
In: Proc. Conf. Theoretical Aspects of Knowledge and Rationality,
pp. 29–41.
R. Fagin, J. Halpern, Y. Moses & M. Vardi (1995):
Reasoning About Knowledge.
MIT Press.
R. Fagin, J. Y. Halpern, Y. Moses & M. Y. Vardi (1997):
Knowledge-Based Programs.
Distributed Computing 10(4),
pp. 199–225,
doi:10.1007/s004460050038.
Susanne Graf, Doron Peled & Sophie Quinton (2012):
Achieving distributed control through model checking.
Formal Methods in System Design 40(2),
pp. 263–281,
doi:10.1007/s10703-011-0138-9.
V. Hadzilacos (1987):
A knowledge-theoretic analysis of atomic commitment protocols.
In: PODS '87: Proc. 6th ACM Symp. on Principles of Database Systems,
pp. 129–134,
doi:10.1145/28659.28672.
J. Y. Halpern & L. D. Zuck (1992):
A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols.
Journal of the ACM 39(3),
pp. 449–478,
doi:10.1145/146637.146638.
X. Huang & R. van der Meyden (2013):
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics.
In: Proc. TARK,
pp. 121–130.
X. Huang & R. van der Meyden (2014):
Symbolic Synthesis for Epistemic Specifications with Observational Semantics.
In: Proc. Tools and Algorithms for the Construction and Analysis of Systems, TACAS,
pp. 455–469,
doi:10.1007/978-3-642-54862-8_39.
Gal Katz, Doron Peled & Sven Schewe (2011):
Synthesis of Distributed Control through Knowledge Accumulation.
In: Proc. Int. Conf on Computer Aided Verification,
pp. 510–525,
doi:10.1007/978-3-642-22110-1_41.
O. Kupferman, M. Y. Vardi & P. Wolper (2001):
Module Checking.
Information and Computation 164(2),
pp. 322–344,
doi:10.1006/inco.2000.2893.
R. van der Meyden (1996):
Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall.
In: Intelligent Agent Systems, Theoretical and Practical Issues,
LNCS, No. 1209.
Springer,
pp. 135–151,
doi:10.1007/3-540-62686-7_33.
R. van der Meyden (1996):
Finite State Implementations of Knowledge-Based Programs.
In: Proc. Conf. on Foundations of Software Technology and Theoretical Computer Science,
pp. 262–273,
doi:10.1007/3-540-62034-6_55.
R. van der Meyden (1996):
Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments.
In: Proc. Conf. on Theoretical Aspects of Rationality and Knowledge,
pp. 31–49.
R. van der Meyden & M. Y. Vardi (1998):
Synthesis from Knowledge-Based Specifications..
In: Proc. CONCUR'98,
Springer LNCS 1466,
pp. 34–49,
doi:10.1007/BFb0055614.
Extended version at http://arxiv.org/abs/1307.6333.
R. van der Meyden & T. Wilke (2005):
Synthesis of Distributed Systems from Knowledge-Based Specifications.
In: Proc. Int. Conf. on Concurrency Theory, CONCUR,
pp. 562–576,
doi:10.1007/11539452_42.
R. van der Meyden & K. Wong (2003):
Complete Axiomatizations for Reasoning about Knowledge and Branching Time.
Studia Logica 75(1),
pp. 93–123,
doi:10.1023/A:1026181001368.