Specifications and Proofs for Ensemble Layers.

Jason Hickey, Nancy A. Lynch, Robbert van Renesse

Browse the full TACAS paper archive.