暂无分享,去创建一个
[1] Nancy A. Lynch,et al. Forward and backward simulations, part II: timing-based systems , 1993 .
[2] Maurice Herlihy,et al. Fast Randomized Consensus Using Shared Memory , 1990, J. Algorithms.
[3] Josyula R. Rao,et al. Reasoning about probabilistic algorithms , 1990, PODC '90.
[4] Ivan Christoff,et al. Efficient Algorithms for Verification of Equivalences for Probabilistic Processes , 1991, CAV.
[5] Eyal Kushilevitz,et al. Randomized mutual exclusion algorithms revisited , 1992, PODC '92.
[6] Nancy A. Lynch,et al. Forward and Backward Simulations, II: Timing-Based Systems , 1991, Inf. Comput..
[7] Michael Ben-Or,et al. Another advantage of free choice (Extended Abstract): Completely asynchronous agreement protocols , 1983, PODC '83.
[8] Moshe Y. Vardi. Automatic verification of probabilistic concurrent finite state programs , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
[9] Michael Ben-Or,et al. Another advantage of free choice (Extended Abstract): Completely asynchronous agreement protocols , 1983, PODC '83.
[10] Daniel Lehmann,et al. On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem , 1981, POPL '81.
[11] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .
[12] Isaac Saias,et al. Proving probabilistic correctness statements: the case of Rabin's algorithm for mutual exclusion , 1992, PODC '92.
[13] Hans A. Hansson. Time and probability in formal design of distributed systems , 1991, DoCS.
[14] Nancy A. Lynch,et al. Liveness in Timed and Untimed Systems , 1994, Inf. Comput..
[15] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[16] Nancy A. Lynch,et al. Action Transducers and Timed Automata , 1992, CONCUR.