Conference paper
Reasoning about knowledge and time in asynchronous systems
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
R. Sebastian, M. Weise, et al.
ECPPM 2022
Pavel Klavík, A. Cristiano I. Malossi, et al.
Philos. Trans. R. Soc. A
Cristina Cornelio, Judy Goldsmith, et al.
JAIR