Back to Results
First PageMeta Content
Predicate logic / Model theory / Propositional calculus / Theoretical computer science / First-order logic / Algorithm / Function / Predicate / Interpretation / Logic / Mathematical logic / Mathematics


A Logic-based Framework for Verifying Consensus Algorithms? Cezara Dr˘ agoi1 , Thomas A. Henzinger1 , Helmut Veith2 , Josef Widder2 , and Damien Zufferey3?? 1
Add to Reading List

Document Date: 2013-12-10 04:45:58

Open Document

File Size: 433,73 KB

Share Result on Facebook

Country

Austria / /

Currency

pence / /

Event

Product Issues / /

IndustryTerm

Fault-tolerant distributed algorithms / consensus algorithms / center management / basic synchronous consensus algorithm / typical distributed algorithm / software applications / distributed computing problem / /

Organization

U.S. Securities and Exchange Commission / Vienna Science and Technology Fund / Austrian Science Fund / MIT / /

Person

Damien Zufferey / /

Position

vp / int vp / coordinator / /

Product

processes / /

Technology

typical distributed algorithm / consensus algorithms / distributed algorithm / same algorithm / Fault-tolerant distributed algorithms / distributed algorithms / relevant consensus algorithms / basic synchronous consensus algorithm / Verifying Consensus Algorithms / /

SocialTag