Yoram Moses

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Kai Engelhardt

> Home > Persons > Yoram Moses

Publications

2009
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/EngelhardtM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/EngelhardtM09
Kai Engelhardt, Yoram Moses:
Causing communication closure: safe program composition with reliable non-FIFO channels. Distributed Comput. 22(2): 73-91 (2009)
2008
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/EngelhardtM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/EngelhardtM08
Kai Engelhardt, Yoram Moses:
Single-bit messages are insufficient for data link over duplicating channels. Inf. Process. Lett. 107(6): 235-239 (2008)
2007
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0701064
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0701064
Kai Engelhardt, Yoram Moses:
Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels. CoRR abs/cs/0701064 (2007)
2005
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/iwdc/EngelhardtM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwdc/EngelhardtM05
Kai Engelhardt, Yoram Moses:
Single-Bit Messages Are Insufficient in the Presence of Duplication. IWDC 2005: 25-31
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/iwdc/EngelhardtM05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwdc/EngelhardtM05a
Kai Engelhardt, Yoram Moses:
Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. IWDC 2005: 32-44
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/EngelhardtM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/EngelhardtM05
Kai Engelhardt, Yoram Moses:
Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. DISC 2005: 229-243
2001
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/EngelhardtMM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/EngelhardtMM01
Kai Engelhardt, Ron van der Meyden, Yoram Moses:
A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001: 125-141
2000
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/EngelhardtMM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/EngelhardtMM00
Kai Engelhardt, Ron van der Meyden, Yoram Moses:
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129
1998
[c30]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/EngelhardtMM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/EngelhardtMM98
Kai Engelhardt, Ron van der Meyden, Yoram Moses:
Knowledge and the Logic of Local Propositions. TARK 1998: 29-41

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.