Analyzing synchronization problems by using event histories as languages
R. D. Dixon, David Hemmendinger · 1986
Article Free Access Share on Analyzing synchronization problems by using event histories as languages Authors: Robert D. Dixon Department of Computer Science, Wright State University Department of Computer Science, Wright State UniversityView Profile , David Hemmendinger Department of Computer Science, Wright State University Department of Computer Science, Wright State UniversityView Profile Authors Info & Claims CSC '86: Proceedings of the 1986 ACM fourteenth annual conference on Computer scienceFebruary 1986 Pages 183–188https://doi.org/10.1145/324634.325237Published:01 February 1986Publication History 1citation177DownloadsMetricsTotal Citations1Total Downloads177Last 12 Months4Last 6 weeks0 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 SiteeReaderPDF