✦ LIBER ✦

Application of three-valued logic for distributed termination detection

✍ Scribed by A. Kavianpour; N. Bagherzadeh

Book ID: 113211918
Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 513 KB
Volume: 17
Category: Article
ISSN: 0045-7906
DOI: 10.1016/0045-7906(91)90003-i

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A two-valued logic for reasoning about d

A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic

✍ Beata Konikowska 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 807 KB

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by "consequence" operators. These operators correspond to the three "sensible" t

Derivation of a termination detection al

Derivation of a termination detection algorithm for distributed computations

✍ Edsger W. Dijkstra; W.H.J. Feijen; A.J.M. van Gasteren 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 251 KB

The Strong Completeness of a System for

The Strong Completeness of a System for Kleene's Three-Valued Logic

✍ John T. Kearns 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 440 KB 👁 1 views

Independent Axioms for the Implicational

Independent Axioms for the Implicational Fragment of Sobociński's Three-Valued Logic

✍ Robert K. Meyer; Zane Parks 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 270 KB

Optimal algorithms for the identificatio

Optimal algorithms for the identification of system states based on three-valued logic

✍ V. N. Shilo 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 496 KB

Depletion/enhancement CMOS for a lower p

Depletion/enhancement CMOS for a lower power family of three-valued logic circuits

✍ Heung, A.; Mouftah, H.T. 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 887 KB