We invented and implemented a Consensus algorithm in which not all participants agree on who may fail, and how.
heterogeneous participants, and heterogeneous observers.
A work-in-progress talk about our Heterogeneous Consensus algorithm.
We use the
[Decentralized Label Model](http://www.cs.cornell.edu/andru/papers/iflow-tosem.pdf)
to show how distributed algorithms, like
can be generalized from more complex trust environments.
We've been looking at modeling distributed system failures with
information flow tools, and expressing heterogeneous trust.
We investigate some potential "slowdown" cases of the classic
algorithm, and developed some new variants to avoid them.