FULL ABSTRACTION AND EXPRESSIVE COMPLETENESS FOR FP.
- Joseph Y. Halpern
- Edward L. Wimmers
- 1986
- LICS 1986
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
I'M OK IF YOU'RE OK: ON THE NOTION OF TRUSTING COMMUNICATION.
- Ronald Fagin
- Joseph Y. Halpern
- 1986
- LICS 1986
GOOD REWRITE STRATEGIES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1986
- LICS 1986
PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS.
- Joseph Y. Halpern
- Yoav Shoham
- 1986
- LICS 1986
A formal model of knowledge, action, and communication in distributed systems: Preliminary report
- Joseph Y. Halpern
- Ronald Fagin
- 1985
- PODC 1985
DENOTATIONAL SEMANTICS AND REWRITE RULES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1984
- POPL 1984
A new look at fault tolerant network routing
- Danny Dolev
- Joe Halpern
- et al.
- 1984
- STOC 1984
On the possibility and impossibility of achieving clock synchronization
- Danny Dolev
- Joe Halpern
- et al.
- 1984
- STOC 1984
MODEL-THEORETIC ANALYSIS OF KNOWLEDGE: PRELIMINARY REPORT.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1983
- FOCS 1983
A model-theoretic analysis of knowledge: Preliminary report
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1984
- FOCS 1984