Synthesis of Distributed Protocols from Scenarios and SpecificationsPublished in University of Pennsylvania Library, 2016Download hereShare on Twitter Facebook Google+ LinkedIn Previous Next