Reasoning about fair concurrent programs

Abstract

Article Reasoning about fair concurrent programs Share on Authors: C Courcoubetis AT&T Bell Laboratories, 600 Mountain ave., Murray Hill, NJ AT&T Bell Laboratories, 600 Mountain ave., Murray Hill, NJView Profile , M Y Vardi IBM Almaden Research Center, Department K55/801, 650 Harry Road, San Jose, CA IBM Almaden Research Center, Department K55/801, 650 Harry Road, San Jose, CAView Profile , P Wolper AT&T Bell Laboratories, 600 Mountain ave., Murray Hill, NJ AT&T Bell Laboratories, 600 Mountain ave., Murray Hill, NJView Profile Authors Info & Claims STOC '86: Proceedings of the eighteenth annual ACM symposium on Theory of computingNovember 1986 Pages 283–294https://doi.org/10.1145/12130.12159Online:01 November 1986Publication History 19citation247DownloadsMetricsTotal Citations19Total Downloads247Last 12 Months3Last 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 SiteGet Access