Bradel, Borys J.; Abdelrahman, Tarek S. A study of potential parallelism among traces in Java programs. (English) Zbl 1183.68138 Sci. Comput. Program. 74, No. 5-6, 296-313 (2009). MSC: 68N15 PDFBibTeX XMLCite \textit{B. J. Bradel} and \textit{T. S. Abdelrahman}, Sci. Comput. Program. 74, No. 5--6, 296--313 (2009; Zbl 1183.68138) Full Text: DOI
Perrin, Guy-René; Finance, Jean-Pierre Communication relations: A paradigm for parallel program design. (English) Zbl 0754.68087 Sci. Comput. Program. 19, No. 1, 25-59 (1992). MSC: 68Q60 68Q10 68N01 PDFBibTeX XMLCite \textit{G.-R. Perrin} and \textit{J.-P. Finance}, Sci. Comput. Program. 19, No. 1, 25--59 (1992; Zbl 0754.68087) Full Text: DOI
Burn, Geoffrey L.; Hankin, Chris; Abramsky, Samson Strictness analysis for higher-order functions. (English) Zbl 0603.68013 Sci. Comput. Program. 7, 249-278 (1986). MSC: 68Q60 PDFBibTeX XMLCite \textit{G. L. Burn} et al., Sci. Comput. Program. 7, 249--278 (1986; Zbl 0603.68013) Full Text: DOI
Hoare, C. A. R. A calculus of total correctness for communicating processes. (English) Zbl 0485.68025 Sci. Comput. Program. 1, 49-72 (1981). MSC: 68N25 94A99 68Q60 PDFBibTeX XMLCite \textit{C. A. R. Hoare}, Sci. Comput. Program. 1, 49--72 (1981; Zbl 0485.68025) Full Text: DOI Link