Analyzing synchronization problems by using event histories as languages

Robert D. Dixon, David Hemmendinger. Analyzing synchronization problems by using event histories as languages. In Lawrence A. Jehn, Larry A. Crum, editors, Proceedings of the 14th ACM Annual Conference on Computer Science, Cincinnati, Ohio, USA, 1986. pages 183-188, ACM, 1986. [doi]

Authors

Robert D. Dixon

This author has not been identified. Look up 'Robert D. Dixon' in Google

David Hemmendinger

This author has not been identified. Look up 'David Hemmendinger' in Google