Halpern, Joseph Y.; Petride, Sabina A knowledge-based analysis of global function computation. (English) Zbl 1231.68080 Distrib. Comput. 23, No. 3, 197-224 (2010). MSC: 68M14 68T27 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Halpern, Joseph Y.; Moses, Yoram Using counterfactuals in knowledge-based programming. (English) Zbl 1448.68408 Distrib. Comput. 17, No. 2, 91-106 (2004). MSC: 68T30 68N30 68Q85 68T27 68T42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv