Crain, Tyler; Imbs, Damien; Raynal, Michel Towards a universal construction for transaction-based multiprocess programs. (English) Zbl 1294.68038 Theor. Comput. Sci. 496, 154-169 (2013). MSC: 68M14 68M20 PDFBibTeX XMLCite \textit{T. Crain} et al., Theor. Comput. Sci. 496, 154--169 (2013; Zbl 1294.68038) Full Text: DOI
Jayaraman, Bharat; Keller, Robert M. Primitives for resource management in a demand-driven reduction model. (English) Zbl 0614.68006 Int. J. Parallel Program. 15, 215-244 (1986). MSC: 68N01 68N25 PDFBibTeX XMLCite \textit{B. Jayaraman} and \textit{R. M. Keller}, Int. J. Parallel Program. 15, 215--244 (1986; Zbl 0614.68006) Full Text: DOI
Lynch, Nancy A.; Fischer, Michael J. On describing the behavior and implementation of distributed systems. (English) Zbl 0441.68020 Theor. Comput. Sci. 13, 17-43 (1981). MSC: 68N25 PDFBibTeX XMLCite \textit{N. A. Lynch} and \textit{M. J. Fischer}, Theor. Comput. Sci. 13, 17--43 (1981; Zbl 0441.68020) Full Text: DOI