Owe, Olaf; Fazeldehkordi, Elahe A lightweight approach to smart contracts supporting safety, security, and privacy. (English) Zbl 07531439 J. Log. Algebr. Methods Program. 127, Article ID 100772, 34 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{O. Owe} and \textit{E. Fazeldehkordi}, J. Log. Algebr. Methods Program. 127, Article ID 100772, 34 p. (2022; Zbl 07531439) Full Text: DOI
Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam An evaluation of interaction paradigms for active objects. (English) Zbl 1417.68023 J. Log. Algebr. Methods Program. 103, 154-183 (2019). MSC: 68M14 68M20 PDFBibTeX XMLCite \textit{F. Karami} et al., J. Log. Algebr. Methods Program. 103, 154--183 (2019; Zbl 1417.68023) Full Text: DOI
Scholliers, Christophe; Tanter, Éric; De Meuter, Wolfgang Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model. (English) Zbl 1410.68071 Sci. Comput. Program. 80, Part A, 52-64 (2014). MSC: 68M20 68N15 68N19 PDFBibTeX XMLCite \textit{C. Scholliers} et al., Sci. Comput. Program. 80, Part A, 52--64 (2014; Zbl 1410.68071) Full Text: DOI
Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin Behavioral interface description of an object-oriented language with futures and promises. (English) Zbl 1187.68130 J. Log. Algebr. Program. 78, No. 7, 491-518 (2009). MSC: 68N19 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., J. Log. Algebr. Program. 78, No. 7, 491--518 (2009; Zbl 1187.68130) Full Text: DOI
Johnsen, Einar Broch; Yu, Ingrid Chieh Backwards type analysis of asynchronous method calls. (English) Zbl 1151.68006 J. Log. Algebr. Program. 77, No. 1-2, 40-59 (2008). MSC: 68N19 PDFBibTeX XMLCite \textit{E. B. Johnsen} and \textit{I. C. Yu}, J. Log. Algebr. Program. 77, No. 1--2, 40--59 (2008; Zbl 1151.68006) Full Text: DOI
Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh Creol: A type-safe object-oriented model for distributed concurrent systems. (English) Zbl 1118.68031 Theor. Comput. Sci. 365, No. 1-2, 23-66 (2006). MSC: 68M14 PDFBibTeX XMLCite \textit{E. B. Johnsen} et al., Theor. Comput. Sci. 365, No. 1--2, 23--66 (2006; Zbl 1118.68031) Full Text: DOI