Termination of Probabilistic Concurrent Programs.
暂无分享,去创建一个
[1] Amir Pnueli,et al. Impartiality, Justice and Fairness: The Ethics of Concurrent Termination , 1981, ICALP.
[2] Paul G. Spirakis,et al. Distributed algorithms for synchronizing interprocess communication within real time , 1981, STOC '81.
[3] Daniel Lehmann,et al. On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem , 1981, POPL '81.