Synthesis of Distributed Protocols from Scenarios and Specifications

Published in University of Pennsylvania Library, 2016

Download here