Year: 1989
Type: conference-paper
Abstract: Article Free Access Share on A structural induction theorem for processes Authors: R. P. Kurshan AT&T Bell Laboratories, Murray Hill, NJ AT&T Bell Laboratories, Murray Hill, NJView Profile , K. McMillan Carnegie Mellon University, Pittsburgh, PA Carnegie Mellon University, Pittsburgh, PAView Profile Authors Info & Claims PODC '89: Proceedings of the eighth annual ACM Symposium on Principles of distributed computingJune 1989 Pages 239–247https://doi.org/10.1145/72981.72998Online:01 June 1989Publication History 121citation550DownloadsMetricsTotal Citations121Total Downloads550Last 12 Months19Last 6 weeks5 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
DOI: 10.1145/72981.72998
Authors: R. P. Kurshan, K. McMillan
Institutions: AT&T (United States), Carnegie Mellon University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
Funder: Carnegie Mellon University
OpenAlex ID: W2000210358