Michael J. Fischer (fischer-mj)

Contributions to Philosophie.ch

Bibliography

Fischer, Michael J. 1986. “The Consensus Problem in Unreliable Distributed Systems.” rr–273. New Haven, Connecticut: Yale University.
Fischer, Michael J. and Immerman, Neil. 1986. “Foundations of Knowledge for Distributed Systems.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 171–185. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
Fischer, Michael J. and Immerman, Neil. 1987. “Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse.” Information Processing Letters 25(3): 175–182.
Fischer, Michael J. and Ladner, Richard E. 1979. “Propositional Dynamic Logic of Regular Programs.” Journal of Computer and System Sciences 18(2): 194–211.
Fischer, Michael J. and Zuck, L. D. 1987. “Relative Knowledge and Belief.” tr–589. New Haven, Connecticut: Yale University.
Lamport, Leslie and Fischer, Michael J. 1982. “Byzantine Generals and Transactions Commit Protocols.” opus: 62. Menlo Park, California: SRI International.
Lynch, N. A. and Fischer, Michael J. 1981. “On Describing the Behavior and Implementation of Distributed Systems.” Theoretical Computer Science 13: 17–43.