Specifications and proofs for Ensemble Layers (1999)

by Jason Hickey , Nancy Lynch , Robbert van Renesse
Venue:TACAS '99
Citations:49 - 10 self