The following pages link to Fred B. Schneider (Q431789):
Displayed 33 items.
- Multi-verifier signatures (Q431790) (← links)
- Equational propositional logic (Q674268) (← links)
- Fault-tolerant broadcasts (Q790609) (← links)
- Automated analysis of fault-tolerance in distributed systems (Q816197) (← links)
- Thrifty execution of task pipelines (Q1057645) (← links)
- Defining liveness (Q1064056) (← links)
- Derivation of a distributed algorithm for finding paths in directed networks (Q1066673) (← links)
- Safety without stuttering (Q1089789) (← links)
- Recognizing safety and liveness (Q1100884) (← links)
- Proving nondeterministically specified safety properties using progress measures (Q1317438) (← links)
- Verifying programs that use causally-ordered message-passing (Q1893537) (← links)
- JRIF: reactive information flow control for Java (Q2303365) (← links)
- The ``Hoare Logic'' of CSP, and All That (Q3321433) (← links)
- Using message passing for distributed programming: proof rules and disciplines (Q3321441) (← links)
- (Q3662604) (← links)
- (Q3727356) (← links)
- Verifying temporal properties without temporal logic (Q3832037) (← links)
- Synchronization in Distributed Programs (Q3938470) (← links)
- Conditions for the Equivalence of Synchronous and Asynchronous Systems (Q4174217) (← links)
- (Q4348472) (← links)
- Adding the everywhere operator to propositional logic (Q4399516) (← links)
- (Q4413407) (← links)
- Reasoning about programs by exploiting the environment (Q4632437) (← links)
- (Q4778707) (← links)
- A TACOMA retrospective (Q4791085) (← links)
- (Q4846258) (← links)
- Teaching Math More Effectively, Through Calculational Proofs (Q4870030) (← links)
- (Q4885862) (← links)
- (Q4885878) (← links)
- Tolerating malicious gossip (Q5138483) (← links)
- The Building Blocks of Consensus (Q5445738) (← links)
- Quantification of integrity (Q5740622) (← links)
- Faster possibility detection by combining two approaches (Q6084565) (← links)