Automatic Synthesis of Distributed Protocols
Rajeev Alur, Stavros Tripakis · ACM SIGACT News · 2017
review-article Share on Automatic Synthesis of Distributed Protocols Authors: Rajeev Alur University of Pennsylvania, Philadelphia, PA University of Pennsylvania, Philadelphia, PAView Profile , Stavros Tripakis Aalto University and University of California, Berkeley Aalto University and University of California, BerkeleyView Profile Authors Info & Claims ACM SIGACT NewsVolume 48Issue 1March 2017 pp 55–90https://doi.org/10.1145/3061640.3061652Published:10 March 2017Publication History 21citation215DownloadsMetricsTotal Citations21Total Downloads215Last 12 Months24Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access