July 1, 1983ACM Transactions on Programming Languages and Systems166 citationsOpen Access
Termination of Probabilistic Concurrent Program
Key Points
Key points are not available for this paper at this time.
Abstract
article Free Access Share on Termination of Probabilistic Concurrent Program Authors: Sergiu Hart Department of Statistics, Tel Aviv University, Ramat-Aviv, Tel Aviv 69978, Israel Department of Statistics, Tel Aviv University, Ramat-Aviv, Tel Aviv 69978, IsraelView Profile , Micha Sharir Department of Computer Science, School of Mathematical Sciences, Tel Aviv University, Ramat-Aviv, Tel Aviv 69978, Israel Department of Computer Science, School of Mathematical Sciences, Tel Aviv University, Ramat-Aviv, Tel Aviv 69978, IsraelView Profile , Amir Pnueli Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot, IsraelView Profile Authors Info & Claims ACM Transactions on Programming Languages and SystemsVolume 5Issue 3July 1983 pp 356–380https://doi.org/10.1145/2166.357214Published:01 July 1983Publication History 118citation513DownloadsMetricsTotal Citations118Total Downloads513Last 12 Months46Last 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 Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF