Programs, Semantics and Effective Atomicity
Publisher
Springer New York
Reference85 articles.
1. C. Alaettinoglu, A.U. Shankar, Stepwise assertional design of distance-vector routing algorithms, in Protocol Specification, Testing and Verification XII, ed. by R.J. Linn Jr., M.M. Uyar. Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, 22–25 June 1992. IFIP Transactions, vol. C-8 (North-Holland, New York, 1992), pp. 399–413
2. G.R. Andrews, A method for solving synchronization problems. Sci. Comput. Program. 13(4), 1–21 (1989)
3. G.R. Andrews, F.B. Schneider, Concepts and notations for concurrent programming. ACM Comput. Surv. 15(1), 3–43 (1983). doi:10.1145/356901.356903.
http://doi.acm.org/10.1145/356901.356903
4. K.R. Apt, Ten years of hoare’s logic: a survey-part i. ACM TOPLAS 3, 431–483 (1981)
5. E.A. Ashcroft, Proving assertions about parallel programs. J. Comput. Syst. Sci. 10(1), 110–135 (1975). doi:10.1016/S0022-0000(75)80018-3.
http://dx.doi.org/10.1016/S0022-0000(75)80018-3