Computing reachable states of parallel programs
David P. Helmbold, Charles E. McDowell · 1991
article Free Access Share on Computing reachable states of parallel programs Authors: David P. Helmbold Baskin Center for Computer Engineering & Information Sciences, University of California, Santa Cruz, Santa Cruz, CA Baskin Center for Computer Engineering & Information Sciences, University of California, Santa Cruz, Santa Cruz, CAView Profile , Charles E. McDowell Baskin Center for Computer Engineering & Information Sciences, University of California, Santa Cruz, Santa Cruz, CA Baskin Center for Computer Engineering & Information Sciences, University of California, Santa Cruz, Santa Cruz, CAView Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 26Issue 12Dec. 1991 pp 76–84https://doi.org/10.1145/127695.122766Online:01 December 1991Publication History 13citation183DownloadsMetricsTotal Citations13Total Downloads183Last 12 Months2Last 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