The ?Hoare logic? of concurrent programs

Ashcroft, E.A.: Proving assertions about parallel programs. J. Comput. Systm. Sci. 10, 110?135 (1975)

Floyd, R.W.: Assigning meanings to programs. Proc. A.M.S. Symp. in Applied Math., Amer. Math. Soc. pp. 19?31, 1967

Hoare, C.A.R.: An axiomatic basis for computer programming. Comm. ACM 12, 576?583 (1969)

Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Soft. Engrg. SE-3, 2, 125?143 (1977)

Lamport, L.: Sometime is sometimes not never: On the temporal logic of programs. Proceedings of the Seventh Annual Symposium on Principles of Programming Languages, ACM SIGACTSIGPLAN, January 1980

Owicki, S., Gries, D.: An axiomatic proof technique for parallel programs. Acta Informat. 6, 319?340 (1976)

Pnueli, A.: The temporal logic of programs. Proc. of the 18th Symposium on the Foundations of Computer Science, ACM, November 1977