Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, Ray Dynamic fault-tolerant clock synchronization. (English) Zbl 0886.68008 J. Assoc. Comput. Mach. 42, No. 1, 143-185 (1995). MSC: 68M10 PDFBibTeX XMLCite \textit{D. Dolev} et al., J. Assoc. Comput. Mach. 42, No. 1, 143--185 (1995; Zbl 0886.68008) Full Text: DOI
Fagin, Ronald; Halpern, Joseph Y. Reasoning about knowledge and probability. (English) Zbl 0806.68098 J. Assoc. Comput. Mach. 41, No. 2, 340-367 (1994). MSC: 68T30 68Q60 03B45 PDFBibTeX XMLCite \textit{R. Fagin} and \textit{J. Y. Halpern}, J. Assoc. Comput. Mach. 41, No. 2, 340--367 (1994; Zbl 0806.68098) Full Text: DOI
Halpern, Joseph Y.; Tuttle, Mark R. Knowledge, probability, and adversaries. (English) Zbl 0783.68120 J. Assoc. Comput. Mach. 40, No. 4, 917-962 (1993). MSC: 68T30 68Q60 94C15 PDFBibTeX XMLCite \textit{J. Y. Halpern} and \textit{M. R. Tuttle}, J. Assoc. Comput. Mach. 40, No. 4, 917--962 (1993; Zbl 0783.68120) Full Text: DOI
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. What can machines know? On the properties of knowledge in distributed systems. (English) Zbl 0799.68179 J. Assoc. Comput. Mach. 39, No. 2, 328-376 (1992). MSC: 68T35 68T30 PDFBibTeX XMLCite \textit{R. Fagin} et al., J. Assoc. Comput. Mach. 39, No. 2, 328--376 (1992; Zbl 0799.68179) Full Text: DOI
Halpern, Joseph Y.; Zuck, Lenore D. A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols. (English) Zbl 0799.68024 J. Assoc. Comput. Mach. 39, No. 3, 449-478 (1992). MSC: 68M10 68Q60 PDFBibTeX XMLCite \textit{J. Y. Halpern} and \textit{L. D. Zuck}, J. Assoc. Comput. Mach. 39, No. 3, 449--478 (1992; Zbl 0799.68024) Full Text: DOI
Halpern, Joseph Y.; Shoham, Yoav A propositional modal logic of time intervals. (English) Zbl 0799.68175 J. Assoc. Comput. Mach. 38, No. 4, 935-962 (1991). MSC: 68T27 03B45 PDFBibTeX XMLCite \textit{J. Y. Halpern} and \textit{Y. Shoham}, J. Assoc. Comput. Mach. 38, No. 4, 935--962 (1991; Zbl 0799.68175) Full Text: DOI
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. A model-theoretic analysis of knowledge. (English) Zbl 0799.68177 J. Assoc. Comput. Mach. 38, No. 2, 382-428 (1991). MSC: 68T30 68T27 03B45 03C99 PDFBibTeX XMLCite \textit{R. Fagin} et al., J. Assoc. Comput. Mach. 38, No. 2, 382--428 (1991; Zbl 0799.68177) Full Text: DOI
Halpern, Joseph Y.; Moses, Yoram Knowledge and common knowledge in a distributed environment. (English) Zbl 0699.68115 J. Assoc. Comput. Mach. 37, No. 3, 549-587 (1990). MSC: 68T99 68N25 68Q60 68N99 PDFBibTeX XMLCite \textit{J. Y. Halpern} and \textit{Y. Moses}, J. Assoc. Comput. Mach. 37, No. 3, 549--587 (1990; Zbl 0699.68115) Full Text: DOI arXiv
Halpern, Joseph Y.; Williams, John H.; Wimmers, Edward L. Completeness of rewrite rules and rewrite strategies for FP. (English) Zbl 0698.68030 J. Assoc. Comput. Mach. 37, No. 1, 86-143 (1990). MSC: 68Q65 68Q55 03D03 68N01 68Q45 03B40 PDFBibTeX XMLCite \textit{J. Y. Halpern} et al., J. Assoc. Comput. Mach. 37, No. 1, 86--143 (1990; Zbl 0698.68030) Full Text: DOI
Emerson, E. Allen; Halpern, Joseph Y. “Sometimes” and “not never” revisited: On branching versus linear time temporal logic. (English) Zbl 0629.68020 J. Assoc. Comput. Mach. 33, 151-178 (1986). MSC: 68N25 68N01 03B70 PDFBibTeX XMLCite \textit{E. A. Emerson} and \textit{J. Y. Halpern}, J. Assoc. Comput. Mach. 33, 151--178 (1986; Zbl 0629.68020) Full Text: DOI
Clarke, Edmund M. jun.; German, Steven M.; Halpern, Joseph Y. Effective axiomatizations of Hoare logics. (English) Zbl 0627.68010 J. Assoc. Comput. Mach. 30, 612-636 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{E. M. Clarke jun.} et al., J. Assoc. Comput. Mach. 30, 612--636 (1983; Zbl 0627.68010) Full Text: DOI
Meyer, Albert R.; Halpern, Joseph Y. Axiomatic definitions of programming languages: A theoretical assessment. (English) Zbl 0478.68009 J. Assoc. Comput. Mach. 29, 555-576 (1982). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{A. R. Meyer} and \textit{J. Y. Halpern}, J. Assoc. Comput. Mach. 29, 555--576 (1982; Zbl 0478.68009) Full Text: DOI