#### Filter Results:

- Full text PDF available (12)

#### Publication Year

1972

2014

- This year (0)
- Last 5 years (2)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Leslie Lamport, Robert E. Shostak, Marshall C. Pease
- ACM Trans. Program. Lang. Syst.
- 1982

A definition ā¢ Byzantine (www.m-w.com): 1: of, relating to, or characteristic of the ancient city of Byzantium ā¦ 4b: intricately involved : labyrinthine <rules of Byzantine complexity> ā¢ Lamport's reason: " I have long felt that, because it was posed as a cute problem about philosophers seated around a table, Dijkstra's dining philosopher's problem receivedā¦ (More)

- Marshall C. Pease, Robert E. Shostak, Leslie Lamport
- J. ACM
- 1980

The problem addressed here concerns a set of isolated processors, some unknown subset of which may be faulty, that communicate only by means of two-party messages. Each nonfaulty processor has a private value of information that must be communicated to each other nonfaulty processor. Nonfaulty processors always communicate honestly, whereas faultyā¦ (More)

- Robert E. Shostak
- CADE
- 1982

A method ~s g~ven for dec~dlng formulas in combinations of unquantified first-order theories. Rather than couphng separate decision procedures for the contributing theories, the method makes use of a single, uniform procedure that minimizes the code needed to accommodate each additional theory. It ~s apphcable to theories whose semantics can be encodedā¦ (More)

- Robert E. Shostak
- J. ACM
- 1981

V R Pratt has shown that the real and integer feastbdlty of sets of linear mequallUes of the form x _< y + c can be decided quickly by examining the loops m certain graphs Pratt's method is generahzed, first to real feaslbdlty of mequahues m two variables and arbitrary coefficients, and ultimately to real feaslbdlty of arbitrary sets of hnear mequahtles Theā¦ (More)

- Robert E. Shostak
- IJCAI
- 1977

A simple technique for reasoning about equalities that is fast and complete for ground formulas with function symbols and equality is presented. A proof of correctness is given as well.

- Robert E. Shostak
- Artif. Intell.
- 1976

- Patrick Henry, Richard M. Tong, Neville D. Newman, Gary Berg-Cross, Robert E. Shostak, Rolf A. Stachowitz
- 1988

- W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak
- Artif. Intell.
- 1985

- Robert E. Shostak
- J. ACM
- 1979

A practical procedure is presented for an extension of quantifier-free Presburger arithmetic that permits arbitrary unmterpreted predicate and function symbols This theory includes many of the formulas one tends to encounter in program venficatlon and is powerful enough to encode the semantics of array operators as well as MAX, MIN, and ABSVALUE Anā¦ (More)