Shared Logic Realizations of Dynamically Self-Checked and Fault-Tolerant Logic.

Mohamed Y. Osman C. Dennis Weiss

Published in: IEEE Trans. Computers (1973)

Keyphrases

fault tolerant
fault tolerance
state machine
distributed systems
modal logic
logic programming
load balancing
high availability
multi valued
classical logic
database
knowledge base
fuzzy logic
software development
fine grained