Introduction
Publisher
Springer New York
Reference115 articles.
1. M. Abadi, L. Lamport, The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253–284 (1991). doi:10.1016/0304-3975(91)90224-P. http://dx.doi.org/10.1016/0304-3975(91)90224-P 2. M. Abadi, L. Lamport, Composing specifications. ACM Trans. Program. Lang. Syst. 15(1), 73–132 (1993). doi:10.1145/151646.151649. http://doi.acm.org/10.1145/151646.151649 . Also in Stepwise Refinement of Distributed Systems, LNCS 430, Springer, 1990 3. 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, Florida, USA, 22–25 June 1992. IFIP Transactions, vol. C-8 (North-Holland, New York, 1992), pp. 399–413 4. G.R. Andrews, A method for solving synchronization problems. Sci. Comput. Program. 13(4), 1–21 (1989) 5. 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
|
|